@misc{indiciaea93ef5226fe1,
  title = {A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture},
  author = {Ziyang Qin and Yuan Liao and Ayush Khaitan and Bennett Chow},
  year = {2026},
  url = {https://arxiv.org/abs/2609.33842},
  note = {Source identifier: 2609.33842}
}