Matita Documentation
-User Manual
+User Manual
The Matita User Manual is accessible from Matita itself via the GNOME Help @@ -30,6 +30,21 @@ available from our repository, in the matita/help/C/ folder.
+ +Publications
+-
+
- A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.
+ + Crafting a Proof Assistant. + Submitted for publication to the TYPES06 Post Proceedings. +
+ - A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.
+ + User Interaction with the Matita Proof Assistant. + To appear in the Journal of Automated Reasoning, + Special Issue on User Interfaces for Theorem Proving. +
+