A Web Interface for Matita

Andrea Asperti, Wilmer Ricciotti

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

This article describes a prototype implementation of a web interface for the Matita proof assistant [2]. The motivations behind our work are similar to those of several recent, related efforts [7,9,1,8] (see also [6]).
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics
Subtitle of host publication11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages5
ISBN (Electronic)978-3-642-31374-5
ISBN (Print)978-3-642-31373-8
Publication statusPublished - 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'A Web Interface for Matita'. Together they form a unique fingerprint.

Cite this