Asperti, Andrea, Wilmer Ricciotti, and Claudio Sacerdoti Coen. “Matita Tutorial”. Journal of Formalized Reasoning 7, no. 2 (January 1, 2014): 91–199. Accessed January 30, 2025. https://jfr.unibo.it/article/view/4651.