Conway’s refinement conjecture for omnific integers — Lean proof guide

gaearon.github.io

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