conway-refinement
A proof of Conway's refinement conjecture in Lean
About
A proof of Conway's refinement conjecture in Lean
Languages
Contributors1
No features listed.
Comments Theme
Keywords
A proof of Conway's refinement conjecture in Lean
A proof of Conway's refinement conjecture in Lean
No features listed.
