@misc{indiciaed006df474f15,
  title = {Maintaining a Library of Formal Mathematics},
  author = {Floris van Doorn and Gabriel Ebner and Robert Y. Lewis},
  year = {2020},
  doi = {10.1007/978-3-030-53518-6\_16},
  url = {https://arxiv.org/abs/2004.03673},
  note = {Source identifier: 2004.03673}
}