Date: 2007-05-25 11:04:16Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence | | Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerdAdd to Reading ListSource URL: matita.cs.unibo.itDownload Document from Source Website File Size: 423,17 KBShare Document on Facebook
|