Matita Tutorial

Authors

  • Andrea Asperti University of Bologna
  • Wilmer Ricciotti IRIT, University of Toulouse
  • Claudio Sacerdoti Coen University of Bologna

DOI:

https://doi.org/10.6092/issn.1972-5787/4651

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.

Downloads

Published

2014-12-30

How to Cite

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

Issue

Vol. 7 No. 2 (2014): Special Issue: User Tutorials 2

Section

Articles

License

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

Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions.

Creative Commons License

This journal is licensed under a Creative Commons Attribution 3.0 Unported License (full legal code).
See also our Open Access policy