Sources

Matita has no officiale 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. Go there and download the tarball of the components/ on which Matita is built and of matita/ itself.