The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna

First Page		Document Content
Date: 2012-02-14 06:55:31 Formal methods Automated theorem proving Logic in computer science Type theory Programming language theory Matita Proof assistant POPLmark challenge Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Applied mathematics		The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Download Document from Source Website File Size: 193,75 KB Share Document on Facebook

	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier DocID: 18RKg - View Document
	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge DocID: 131vK - View Document
	Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany DocID: 11O1l - View Document
	Sayan Mitra Department of Electrical & Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana Champaign Urbana, IL 61801 DocID: FCvd - View Document
	The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna DocID: 9Lge - View Document