Star leanprover-community / mathlib Lean mathematical components library Lean 902 192 Built by 2 stars today
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 978 70 Built by 6 stars today