Star leanprover-community / mathlib Lean mathematical components library Lean 994 211 Built by 1 stars today
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,218 95 Built by 3 stars today