Star leanprover-community / mathlib Lean mathematical components library Lean 1,090 229 Built by 1 star today
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,348 121 Built by 0 stars today