google-deepmind / formal-conjectures
git clone https://github.com/google-deepmind/formal-conjectures.git
A collection of formalized statements of conjectures in Lean.
+0
stars, 24h · #50,278
+~0
stars, 7 days · #50,352
+~0
stars, 30 days · #50,490
1.3k
★ total
545
forks · 1.5k open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2025-05-12 (1y ago)
Last pushtoday
OwnerOrganization