TY  - RPRT
TI  - Growing Mathlib: maintenance of a large scale mathematical library
AU  - Anne Baanen
AU  - Matthew Robert Ballard
AU  - Johan Commelin
AU  - Bryan Gin-ge Chen
AU  - Michael Rothgang
AU  - Damiano Testa
PY  - 2025
UR  - https://arxiv.org/abs/2508.21593
ID  - 2508.21593
ER  -