Star leanprover-community / mathlib Lean mathematical components library Lean 1,075 225 Built by 2 stars today
Star ImperialCollegeLondon / formalising-mathematics-2022 Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 20 1 Built by 0 stars today