Star leanprover-community / mathlib Lean mathematical components library Lean 879 190 Built by 4 stars today
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 940 67 Built by 5 stars today