Star leanprover-community / mathlib Lean mathematical components library Lean 1,245 259 Built by 36 stars this month
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,641 156 Built by 70 stars this month