Matita Web application
+Matitaweb
Matita is available as a multi-user web application running remotely - on our server.
+ 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.