gaearon/conway-refinement

A proof of Conway's refinement conjecture in Lean

4 best points · 0 comments · 2 Hacker News posts · 56 GitHub stars · View on GitHub

Hacker News discussions

• A Proof of Conway's Refinement Conjecture (4 points, 0 comments, by m-hodges, 2026-09-02)
• A Proof of Conway's Refinement Conjecture in Lean (2 points, 0 comments, by danabramov, 2026-09-04)