mastodon — José A. Alonso — 3 Sep 2026
A proof of Conway's refinement conjecture in Lean. ~ Dan Abramov. https:// github.com/gaearon/conway-refi nement # L…
#formal-verification #theorem-proving #ai4math
A proof of Conway's refinement conjecture in Lean. ~ Dan Abramov. https:// github.com/gaearon/conway-refi nement # LeanProver # ITP # AI4Math