StarDayOpen source rankings
Back to rankings

leanprover-community / mathlib4

The math library of Lean 4

Repository stars
4,437All-time #13,764
Fork
1,824
Last push
updated today
Repository created
since 2021
Frameworks & SDKsAlgorithms & utility librariesLeanApache-2.0 · Permissive
View source

About

Summarised by AI from the README; the original prevails

Author description: The math library of Lean 4

Basic listing based on official public information; functionality has not been independently evaluated.

Platform
Not verified
Pricing
Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.
Maintenance notes
Not verified
Developer tools# lean4

Star trend

4,4184,4194,41911-03 · 4,41810-0710-1210-1710-2210-2711-0111-05
Raw observations · 2
Historical observations
Measured atRepository starsSource
2026-11-06 09:01 UTC4,437Source
2026-11-03 09:37 UTC4,418Source

First collected 2026-11-03Measured at 2026-11-06 09:01 UTCSourceLicense source

Compiled from public project information; not independently tested. · Repository stars, not unique users or individual-skill installs · License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.