Popular repositories Loading

1. testing-lower-bounds testing-lower-bounds Public

   Forked from RemyDegenne/testing-lower-bounds

   Lower bounds for hypothesis testing and estimation, in Lean

   Lean 1

2. qtLearning qtLearning Public

   Code and Lean formalization for Mapping Uncharted Symmetries

   Lean 1

3. FLT3 FLT3 Public

   Forked from pitmonticone/FLT3

   A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

   Lean

4. FLT FLT Public

   Forked from pitmonticone/FLT

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

   TeX

5. PFR PFR Public

   Forked from teorth/pfr

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

   Lean

6. equational_theories equational_theories Public

   Forked from teorth/equational_theories

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

   Lean