Matita Documentation
User Manual
The Matita User Manual is accessible from Matita itself via the GNOME Help System, just hit <F1> while running Matita and it will be shown to you.
Alternatively you can browse it in XHTML format:
The source code of the user manual (in DocBook format) is 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.