Kohlhase, M. and Rabe, F. 2016. QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. Journal of Formalized Reasoning. 9, 1 (Jan. 2016), 201–234. DOI:https://doi.org/10.6092/issn.1972-5787/4570.