)
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 <a
)
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 <a
- href="FILES/matita_0.5.5.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-e22f3c313f3291400f2912cc24eaa591
+ href="FILES/matita_0.5.7.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
+1ac14d26a3d742206b6d063f4e2d7038
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.</dd>
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.</dd>