Pinned Loading

1. ImperialCollegeLondon/FLTImperialCollegeLondon/FLTPublic

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

   Lean 767 103

2. google-deepmind/formal-conjecturesgoogle-deepmind/formal-conjecturesPublic

   A collection of formalized statements of conjectures in Lean.

   Lean 723 147

3. adele-ring_locally-compactadele-ring_locally-compactPublic

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

   Lean 2

4. mathlib4mathlib4Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean