gaearon/conway-refinement
View on GitHub ↗ ★ 56 Lean
A proof of Conway's refinement conjecture in Lean
5 mentions on Hacker News by 2 people: 3 stories, 2 comments · first 2026-09-02 · latest 2026-09-19
20082026
-
…) by S. L’Innocente and V. Mantova has played a crucial role in the proof. The project README ( https://github.com/gaearon/conway-refinement ) also states: >Over the years, Berarducci, Pitteloud, Pommersheim and Shahriari, and L'Innocente…
comment by danabramov · 2026-09-19 · in I vibed a proof of Conway's conjecture -
….io/how-i-vibed-a-proof-of-conways-conjec... The only thing that needs a check is this 500-line file: https://github.com/gaearon/conway-refinement/blob/264445c93b... . If this file is correct and Lean kernel is correct, the proof is…
comment by danabramov · 2026-09-18 · in I vibed a proof of Conway's conjecture -
▲ 271
I vibed a proof of Conway's conjecturestory by m-hodges · 2026-09-18 · 297 comments
-
▲ 2
A Proof of Conway's Refinement Conjecture in Leanstory by danabramov · 2026-09-04 · 0 comments
-
▲ 4
A Proof of Conway's Refinement Conjecturestory by m-hodges · 2026-09-02 · 0 comments