ImperialCollegeLondon / AnnalsChallenge
git clone https://github.com/ImperialCollegeLondon/AnnalsChallenge.git
Formalisation of statements of recent theorems from the Annals of Mathematics.
+0
stars, 24h · #28,389
+~4
stars, 7 days · #21,443
+~15
stars, 30 days · #25,783
31
★ total · +4% this week
3
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-08-13 (2mo ago)
Last push2mo ago
OwnerOrganization
Links
README
Loading README…