Download Matita Tutorial - Dipartimento di Informatica

98
·
A. Asperti and W. Ricciotti and C. Sacerdoti Coen
with a copy of Matita already installed. It is sufficient to open a terminal and type
matita to start experimenting.
0.6
Matita Web
Still another alternative is to interact with Matita on line, through our web interface
[3]. Matita is available as a multi-user web application running remotely on our
server. The web application can process the same proof scripts as the stand-alone
system, adding support for scripts containing HTML-like markup.
Every Matitaweb user has a separate space for storing definitions and proofs.
The personal copies can then be synchronized with the centralized library for collaborative developments (selected users, currently testing only).
In order to get access to Matita Web, follow the instructions at the following url:
http://matita.cs.unibo.it/matitaweb.shtml.
You will also find an on-line, executable version of this tutorial.
Journal of Formalized Reasoning Vol. 7, No. 2, 2014.