-->
<dd>The <a href="FILES/matita-0.5.6.iso">live CD</a> (around 330
MB, md5sum:
-d04a305e04f75b37916f0c1ab50d4057
+905d10341494ddb4701e7c48ca104fb9
)
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