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
-
▲ 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