TY  - RPRT
TI  - Maintaining a Library of Formal Mathematics
AU  - Floris van Doorn
AU  - Gabriel Ebner
AU  - Robert Y. Lewis
PY  - 2020
DO  - 10.1007/978-3-030-53518-6_16
UR  - https://arxiv.org/abs/2004.03673
ID  - 2004.03673
ER  -