leanprover-community / mathlib4
git clone https://github.com/leanprover-community/mathlib4.git
The math library of Lean 4
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
4.3k
★ total
1.8k
forks · 3.5k open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageLean
LicenseApache-2.0
Created2021-05-09 (5y ago)
Last pushtoday
OwnerOrganization