Hacker GitHub

← All repos

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

Mentions per year 5 mentions · busiest year 2026 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …) 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
  2. ….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