collaborators

1 paper

math.DG2026

A Lean Formalization of Hamilton's Three-Manifold Theorem

Bennett Chow, Yuan Liao, Ziyang Qin

We describe a Lean formalization of Hamilton's 1982 theorem on closed, connected three-manifolds with positive Ricci curvature. The development contains a short-time existence theo…