Star leanprover-community / mathlib4 The math library of Lean 4 Lean 1,088 247 Built by 186 stars this month
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 3,949 337 Built by 138 stars this month
Star leanprover-community / aesop White-box automation for Lean 4 Lean 152 24 Built by 5 stars this month
Star leanprover-community / ProofWidgets4 Helper toolkit for creating your own Lean 4 UserWidgets Lean 91 22 Built by 5 stars this month
Star ImperialCollegeLondon / FLT Ongoing Lean formalisation of the proof of Fermat's Last Theorem Lean 130 30 Built by 30 stars this month