Matita Tutorial
From MaRDI portal
Publication:5195259
DOI10.6092/issn.1972-5787/4651zbMath1451.68314OpenAlexW4300545879MaRDI QIDQ5195259
Andrea Asperti, Claudio Sacerdoti Coen, Wilmer Ricciotti
Publication date: 18 September 2019
Full work available at URL: https://doaj.org/article/4d8a6cc746ce48f1b9070f7dcaee0079
Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (5)
Reverse complexity ⋮ Aligning concepts across proof assistant libraries ⋮ Hammer for Coq: automation for dependent type theory ⋮ Matita ⋮ Implementing type theory in higher order constraint logic programming
This page was built for publication: Matita Tutorial
