Download Matita!

Releases

Matita has no official releases yet.

License

All our source code is released under the terms of the GNU General Public Licence and is publically accessible on our Subversion repository.

Subversion repository

You can browse our svn repository directly on the web.

To checkout a copy of the sources type:

svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
cd software/
svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita

Once you got the sources, have a look at the installation instructions on how to build and install Matita from sources.