A Proof of Conway's Refinement Conjecture in Lean

2 pointsposted 6 hours ago
by danabramov
(github.com)

No comments yet