Popular repositories Loading

1. testing-lower-bounds testing-lower-bounds Public

   Information theory and hypothesis testing, in Lean

   Lean 8 3

2. CLT CLT Public

   Central limit theorem in Lean

   TeX 4 3

3. brownian-motion brownian-motion Public

   TeX 2

4. GlimpseOfLean GlimpseOfLean Public

   Forked from PatrickMassot/GlimpseOfLean

   An introduction to theorem proving in Lean for the impatient.

   Lean 1

5. remydegenne.github.io remydegenne.github.io Public

   HTML 1

6. kolmogorov_extension4 kolmogorov_extension4 Public

   Lean formalization of the Kolmogorov extension theorem

   Lean 3