mastodon — José A. Alonso — 1 Sep 2026
A Lean formalization of Hamilton's three-manifold theorem. ~ Bennett Chow, Yuan Liao, Ziyang Qin. https:// arxiv.org…
#proof-assistants #formal-verification #differential-geometry
A Lean formalization of Hamilton's three-manifold theorem. ~ Bennett Chow, Yuan Liao, Ziyang Qin. https:// arxiv.org/abs/2608.21502v1 # LeanProver # ITP # Math