Back to Results
First PageMeta Content
Automated theorem proving / Software / Theoretical computer science / Proof assistants / Functional languages / Type theory / Matita / Formal methods / Calculus of constructions / Mathematical proof / Automated reasoning / Theorem


User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm
Add to Reading List

Document Date: 2007-05-25 11:04:13


Open Document

File Size: 574,84 KB

Share Result on Facebook