@misc{indiciaed8cfc1190b38,
  title = {A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture},
  author = {Yuan Liao and Ziyang Qin and Jui-Hui Chung and Ayush Khaitan and Zhengyang Zhang and Hongzhou Lin and Zijian Zhang and Ligeng Zhu and Peng Lu and Bennett Chow},
  year = {2026},
  url = {https://arxiv.org/abs/2610.13897},
  note = {Source identifier: 2610.13897}
}