文章基本信息

标题：Matita Tutorial
本地全文：下载
作者：Andrea Asperti ; Wilmer Ricciotti ; Claudio Sacerdoti Coen 等
期刊名称：Journal of Formalized Reasoning
印刷版ISSN：1972-5787
出版年度：2014
卷号：7
期号：2
页码：91-199
DOI：10.6092/issn.1972-5787/4651
语种：English
出版社：Alma Mater Studiorum - University of Bologna
摘要：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.