TY  - RPRT
TI  - A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
AU  - Ziyang Qin
AU  - Yuan Liao
AU  - Ayush Khaitan
AU  - Bennett Chow
PY  - 2026
UR  - https://arxiv.org/abs/2609.33842
ID  - 2609.33842
ER  -