Popular repositories Loading

1. equational_theories equational_theories Public

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

   C 205 49

2. pfr pfr Public

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

   Lean 136 33

3. QED QED Public

   Repository for the QED interactive text and possible extensions

   96 14

4. symmetric_project symmetric_project Public

   Lean 84 8

5. expdb expdb Public

   Exponent pair database

   TeX 17

6. newton newton Public

   Lean 10