anthropics / formal-math
git clone https://github.com/anthropics/formal-math.git
—
+0
stars, 24h · #19,339
+~0
stars, 7 days · #19,814
+~0
stars, 30 days · #26,167
308
★ total
67
forks · 13 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-08-06 (2mo ago)
Last push17d ago
OwnerOrganization