)
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.2.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-e154bb89a0502142c7e26ca69a2f1cda
+ href="FILES/matita_0.5.3.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
+eb7517fc3d265e1e562989b96850fcd0