)
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