@misc{indiciaeb08278ce9601,
  title = {FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature \$-\$ Toward the Formalization of the Classification of Finite Simple Groups},
  author = {Tianjiao Nie and Ao Zhang and Yusen Tang and Damiano Testa and Shing-Tung Yau and Peng Li and Yuan Zhou},
  year = {2026},
  url = {https://arxiv.org/abs/2608.10894},
  note = {Source identifier: 2608.10894}
}