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

[ Toggle abstracts ]
Last-modified: Tuesday, 03-Apr-2012 13:31:03 CEST