gaearon/conway-refinement - Gitstar Ranking

gaearon

Fetched on 2026/09/20 12:03

A proof of Conway's refinement conjecture in Lean - View it on GitHub

http://gaearon.github.io/conway-refinement/

Star

47

Rank

563137