A Web Interface for Matita

Andrea Asperti, Wilmer Ricciotti

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

Abstract

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
Pages417-421
Number of pages5
ISBN (Electronic)978-3-642-31374-5
ISBN (Print)978-3-642-31373-8
DOIs
Publication statusPublished - 2012

Publication series

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

Cite this