Popular repositories Loading

1. brownian-motion brownian-motion Public

   Construction of a Brownian Motion in Lean

   Lean 22 11

2. CLT CLT Public

   Central limit theorem in Lean

   TeX 12 5

3. testing-lower-bounds testing-lower-bounds Public

   Information theory and hypothesis testing, in Lean

   Lean 9 4

4. kolmogorov_extension4 kolmogorov_extension4 Public

   Lean formalization of the Kolmogorov extension theorem

   TeX 8 4

5. lean-bandits lean-bandits Public

   Bandit algorithms in Lean

   Lean 2 2

6. GlimpseOfLean GlimpseOfLean Public

   Forked from PatrickMassot/GlimpseOfLean

   An introduction to theorem proving in Lean for the impatient.

   Lean 1