Pinned Loading

1. Formalisation-of-constructable-numbers Formalisation-of-constructable-numbers Public

   Lean 2 1

2. ImperialCollegeLondon/FLT ImperialCollegeLondon/FLT Public

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

   Lean 803 105

3. mathlib4 mathlib4 Public archive

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. 100_theorems_58 100_theorems_58 Public

   Naproch Formalisation of Wiedijk 58 problems: "Formula for the Number of Combinations"

   TeX