Matita Documentation
-User Manual
+User Manual
The Matita User Manual is accessible from Matita itself via the GNOME Help @@ -21,7 +39,7 @@ XHTML format:
-
-
- Matita User Manual (XHTML format, multiple pages) +
- Matita User Manual (XHTML format, multiple pages)
Tutorials
+ +A not so short tutorial by + A.Asperti, discussing some basic notions of number theory, for + the stable version of Matita.
+ +A tutorial by E.Tassi based on + the formalization of the paper "Between formal topology and game theory: + an explicit solution for the conditions for an inductive generation of + formal topologies" by S.Berardi and S.Valentini. The tutorial describes + the ng version of Matita (not officially released yet, cohexisting with + the stable system in version 0.5.8). If some characters are not displayed + correctly (i.e. you are not using firefox) you may try the + pdf version. +
+ + +Exercises
+ +Some commented exercises given at the + types summer school 2007 + by C.Sacerdoti and E.Tassi. +
+ +