Matita Web application

Matitaweb

Matita is available as a multi-user web application running remotely on our server. The web app can process the same proof scripts as stand-alone Matita, also adding support for scripts containing HTML-like markup. Several new features are added, including automatic storage of disambiguation and automation hints, allowing a more efficient reprocessing of proofs.

Every Matitaweb user has a separate space for storing his/her definitions and proofs. The personal copies can then be synchronized with the centralized library for collaborative developments (selected users, currently testing only).

Register now to gain access to Matitaweb.

If you already have a Matitaweb account, Click here to log in.