Pinned Loading

1. ImperialCollegeLondon/FLT ImperialCollegeLondon/FLT Public

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

   Lean 756 100

2. google-deepmind/formal-conjectures google-deepmind/formal-conjectures Public

   A collection of formalized statements of conjectures in Lean.

   Lean 690 126

3. adele-ring_locally-compact adele-ring_locally-compact Public

   The proof that the adele ring of a number field is locally compact, formalised in Lean 4.

   Lean 2

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean