Matita Tutorial

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen

Abstract


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.


Full Text:

PDF (English)


DOI: 10.6092/issn.1972-5787/4651

Copyright (c) 2015 Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 Unported License.