Pinned Loading

1. LeanCondensed LeanCondensed Public

   Lean 5 4

2. adamtopaz/CopenhagenMasterclass2023 adamtopaz/CopenhagenMasterclass2023 Public

   Lean 7 2

3. samvang/StoneDualityInLean samvang/StoneDualityInLean Public

   Lean 4

4. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

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

   Lean

5. infinity-cosmos infinity-cosmos Public

   Forked from emilyriehl/infinity-cosmos

   A blueprint for a formalization of infinity-cosmos theory in Lean.

   TeX

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean