gaearon/conway-refinement: A proof of Conway's refinement conjecture in Lean

github.com

saved by: 0 people
related read on: How I Vibed a Proof of Conway’s Conjecture from the discussion