Popular repositories Loading

1. analysis analysis Public

   A Lean companion to Analysis I

   Lean 822 100

2. equational_theories equational_theories Public

   A project to map out the relations between different equational theories of Magmas.

   Lean 394 84

3. estimates estimates Public

   Code to automatically prove or verify estimates in analysis

   Python 290 25

4. pfr pfr Public

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

   Lean 177 40

5. QED QED Public

   Repository for the QED interactive text and possible extensions

   102 13

6. symmetric_project symmetric_project Public

   Lean 91 8