)
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
Windows and Linux. A short guide to VirtualBox is part of the
<a href="docs/manual/html">Matita manual</a><br/>
</dd>
Windows and Linux. A short guide to VirtualBox is part of the
<a href="docs/manual/html">Matita manual</a><br/>
</dd>