Download Matita!
Release
The most recent version of Matita (0.99.1) is available as a LiveCD, or by downloading the source code.
- Live DVD
- The live DVD (around 900
MB, md5sum: 1f3af2eb8952fe19853bad88816cdff5)
is the easiest way to try Matita. You can burn the ISO image to a DVD
and boot you computer from it, or install a free emulator like virtualbox and boot a virtual
machine from the ISO image. Virtualbox is available for Mac OS X,
Windows and Linux. A short guide to VirtualBox is part of the
Matita manual
- Sources
- You can download the sources of Matita (released on March 13th, 2012; around 10 MB, md5sum: 2ac55c06dd789fd38c13a0e0cc10bb3c) 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 that you try the live DVD instead.
Old releases (unsupported)
Version is 0.5.8, released on January 8, 2010. Here the ChangeLog.
- Live CD
- The live CD (around 530
MB, md5sum:
9a6912765eacaaa7f96d7d6d6b34add5
)
is the easiest way to try Matita. You can burn the CD image
and boot you computer from the CD, or install a free emulator like virtualbox and boot a virtual
machine from the CD image. Virtualbox is available for Mac OS X,
Windows and Linux. A short guide to VirtualBox is part of the
Matita manual
- .deb package
- Matita is part of the Debian archive, you can
install it with the following command:
aptitude install matita
- Sources
- You can download the sources of Matita (around 6 MB, md5sum: 125223d3dc522c4ac063a66f5d46df69 ) 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.
Cluster .cs.unibo.it.
The following repository contains the version of Matita installed in the Ercolani laboratory, currently running Ubuntu Jaunty.
deb http://matita.cs.unibo.it/CLUSTERCS ./ deb-src http://matita.cs.unibo.it/CLUSTERCS ./
The same version is also available for Ubuntu Hardy (LTS)
deb http://matita.cs.unibo.it/UBUNTU_HARDY ./ deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./