A Proof of Conway's Refinement Conjecture in Lean

(github.com) by danabramov | Sep 4, 2026 | 0 comments on HN