leanprover / lean4
git clone https://github.com/leanprover/lean4.git
Lean 4 programming language and theorem prover
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
9.6k
★ total
1.1k
forks · 1.8k open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageLean
LicenseApache-2.0
Created2018-04-15 (8y ago)
Last pushtoday
OwnerOrganization
GitHub topics
Links
- GitHub: github.com/leanprover/lean4
- Homepage: https://lean-lang.org
- Releases · Issues · Hacker News mentions