The math library of Lean 4
Lean Updated about 2 months ago 1 commits 4,014 stars
quark-coder|Mirror: leanprover-community/mathlib4 (⭐4,014)
about 2 months agoAbout
The math library of Lean 4
Readme
4,014 stars
1,649 forks
The math library of Lean 4
The math library of Lean 4