Asperti, A., Ricciotti, W., & Sacerdoti Coen, C. (2014). Matita Tutorial. Journal of Formalized Reasoning, 7(2), 91–199. https://doi.org/10.6092/issn.1972-5787/4651