login sign up

conway-refinement/ConwayRefinement/Standalone/CombinatorialGames/ConwayRefinement.lean at 264445c93b78554c408e99e4e7f663693b4e91ab · gaearon/conway-refinement

github.com
saved by
0 people
related read on
How I Vibed a Proof of Conway’s Conjecture — overreacted from the discussion