@misc{indiciae58e78ade8268,
  title = {Growing Mathlib: maintenance of a large scale mathematical library},
  author = {Anne Baanen and Matthew Robert Ballard and Johan Commelin and Bryan Gin-ge Chen and Michael Rothgang and Damiano Testa},
  year = {2025},
  url = {https://arxiv.org/abs/2508.21593},
  note = {Source identifier: 2508.21593}
}