Matita Tutorial
Asperti, Andrea ; Ricciotti, Wilmer ; Sacerdoti Coen, Claudio
Journal of Formalized Reasoning, Tome 7 (2014), / Harvested from Journal of Formalized Reasoning
Link
Link

This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of not so trivial examples in the field of software specification and verification.

Publié le : 2014-01-01
DOI : https://doi.org/10.6092/issn.1972-5787/4651 
@article{4651,
     title = {Matita Tutorial},
     journal = {Journal of Formalized Reasoning},
     volume = {7},
     year = {2014},
     doi = {10.6092/issn.1972-5787/4651},
     language = {EN},
     url = {http://dml.mathdoc.fr/item/4651}
}

Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio. Matita Tutorial. Journal of Formalized Reasoning, Tome 7 (2014) . doi : 10.6092/issn.1972-5787/4651. http://gdmltest.u-ga.fr/item/4651/