Asperti, A. et al. 2014. Matita Tutorial. Journal of Formalized Reasoning. 7, 2 (Jan. 2014), 91–199. DOI:https://doi.org/10.6092/issn.1972-5787/4651.