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.
Tutorial
A not so short tutorial by A.Asperti
Exercises
Some commented exercises given at the types summer school 2007 by C.Sacerdoti and E.Tassi.