Download Matita!
+Sources
++ Matita has no official releases yet. + Still, you can get and build Matita from sources. + All our source code is released under the terms of the GNU General + Public Licence and is publically accessible on our svn repository. +
++ 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. +
+