Is there a library for Probability Theory?

Stream: general

[Zihao Zhang]

Is there a library for Probability Theory? It seems Mathlib doesn't cover this part of mathematics.

[David Ledvinka]

Mathlib does cover probability. See the probability section here: https://leanprover-community.github.io/mathlib-overview.html. Also this post by @Rémy Degenne on how to get started using it https://leanprover-community.github.io/blog/posts/basic-probability-in-mathlib/.