Adams, Mark Miles. “Proof Auditing Formalised Mathematics”. Journal of Formalized Reasoning 9, no. 1 (January 1, 2016): 3–32. Accessed October 3, 2023. https://jfr.unibo.it/article/view/4576.