Popular repositories Loading

1. masters-thesis-code masters-thesis-code Public

   Lean 1

2. pfr pfr Public

   Forked from teorth/pfr

   Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

   Lean

3. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Ongoing Lean formalisation of the proof of Fermat's Last Theorem

   Lean

4. lean-repl lean-repl Public

   Forked from leanprover-community/repl

   A simple REPL for Lean 4, returning information about errors and sorries.

   Lean

5. brownian-motion brownian-motion Public

   Forked from RemyDegenne/brownian-motion

   Construction of a Brownian Motion in Lean

   TeX

6. gdp-dashboard gdp-dashboard Public

   Python