@misc{indiciae6d74f5d208ce,
  title = {Formalizing Mathematics at Scale},
  author = {Ahmad Rammal and Niket Patel and Fabian Gloeckle and Amaury Hayat and Julia Kempe and Remi Munos and Charles Arnal and Vivien Cabannes},
  year = {2026},
  url = {https://arxiv.org/abs/2605.29955},
  note = {Source identifier: 2605.29955}
}