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