anthropics / fermats-last-theorem
git clone https://github.com/anthropics/fermats-last-theorem.git
—
+4
stars, 24h · #6,394
+~9
stars, 7 days · #13,688
+~38
stars, 30 days · #16,219
1.3k
★ total · +1% this week
112
forks · 5 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-04 (1mo ago)
Last push29d ago
OwnerOrganization
Links
README
Loading README…