TY  - RPRT
TI  - Formalizing Mathematics at Scale
AU  - Ahmad Rammal
AU  - Niket Patel
AU  - Fabian Gloeckle
AU  - Amaury Hayat
AU  - Julia Kempe
AU  - Remi Munos
AU  - Charles Arnal
AU  - Vivien Cabannes
PY  - 2026
UR  - https://arxiv.org/abs/2605.29955
ID  - 2605.29955
ER  -