Star leanprover-community / mathlib Lean mathematical components library Lean 1,287 262 Built by 4 stars this week
Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,756 166 Built by 12 stars this week