Download Matita!

Releases

The current version is 0.5.0, released on May 10, 2008.

Live CD

available in few days

.deb package

Matita is part of the Debian archive, you can install it with the following command:

aptitude install matita matita-standard-library

Sources

You can download the sources of Matita (around 2 MB, md5sum: 53859d688f554bc73f72218a7c8fea58) and build it by yourself, following the installation instructions. The build process, due to the high number of external dependency is not trivial, we thus suggest you to try the live CD or the .deb package first.

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.

Nightly builds

A build of the Debian package is performed every night, and a live CD containing that version also is built. You can download this experimental live CD, or add the Debian repository to your apt configuration file:

      deb http://matita.cs.unibo.it/DEBIAN ./
      deb-src http://matita.cs.unibo.it/DEBIAN ./