Kohlhase, Michael, and Florian Rabe. “QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge”. Journal of Formalized Reasoning 9, no. 1 (January 1, 2016): 201–234. Accessed April 27, 2024. https://jfr.unibo.it/article/view/4570.