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