Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 3,929 336 Built by 8 stars today
Star leanprover-community / batteries The "batteries included" extended library for the Lean programming language and theorem prover Lean 215 87 Built by 0 stars today
Star leanprover-community / mathlib4 The math library of Lean 4 Lean 1,083 247 Built by 4 stars today