Popular repositories Loading

1. kolmogorov_extension4 kolmogorov_extension4 Public

   Forked from RemyDegenne/kolmogorov_extension4

   Lean formalization of the Kolmogorov extension theorem

   Lean 1

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

3. leanprover-community.github.io leanprover-community.github.io Public

   Forked from leanprover-community/leanprover-community.github.io

   Hosts the website for mathlib and other Lean community infrastructure.

   CSS

4. brownian-motion brownian-motion Public

   Forked from RemyDegenne/brownian-motion

   Construction of a Brownian Motion in Lean

   TeX

5. CLT CLT Public

   Forked from RemyDegenne/CLT

   Central limit theorem in Lean

   TeX