)
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
<dd>Matita is part of the <a
href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
<dd>Matita is part of the <a
href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
- href="FILES/matita_0.5.7.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-1ac14d26a3d742206b6d063f4e2d7038
+ href="FILES/matita_0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
+125223d3dc522c4ac063a66f5d46df69