gaearon / conway-refinement
git clone https://github.com/gaearon/conway-refinement.git
A proof of Conway's refinement conjecture in Lean
+0
stars, 24h · #31,515
+~0
stars, 7 days · #38,269
+~0
stars, 30 days · #41,897
55
★ total
5
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-08-28 (1mo ago)
Last push1mo ago
OwnerUser