Matita Tutorial

From MaRDI portal

Revision as of 16:42, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5195259

Jump to:navigation, search

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

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5195259&oldid=19781675"