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:

• Matita User Manual (XHTML format, multiple pages)

The source code of the user manual (in DocBook format) is available from our repository, in the matita/help/C/ folder.

Publications