TY  - RPRT
TI  - A Lean Formalization of Hamilton's Three-Manifold Theorem
AU  - Bennett Chow
AU  - Yuan Liao
AU  - Ziyang Qin
PY  - 2026
UR  - https://arxiv.org/abs/2608.21502
ID  - 2608.21502
ER  -