Matita Tutorial
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen · Edinburgh Research Explorer (University of Edinburgh) · 2015
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.