Pinned Loading

1. brownian-motion brownian-motion Public

   Forked from RemyDegenne/brownian-motion

   Construction of a Brownian Motion in Lean

   Lean

2. coolrmal.github.io coolrmal.github.io Public

   HTML

3. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. AlexKontorovich/PrimeNumberTheoremAnd AlexKontorovich/PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 322 106

6. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3.5k 1.4k