Lean-MoDS / StatsMLlib
git clone https://github.com/Lean-MoDS/StatsMLlib.git
Verified probability, statistics, and learning theory in Lean 4
+0
stars, 24h · #17,693
+~0
stars, 7 days · #18,168
+~0
stars, 30 days · #24,521
30
★ total
5
forks · 5 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-07-28 (2mo ago)
Last push2d ago
OwnerOrganization
Links
- GitHub: github.com/Lean-MoDS/StatsMLlib
- Homepage: https://statsmllib.github.io/
- Releases · Issues · Hacker News mentions