A Web Interface for Matita

DOI10.1007/978-3-642-31374-5_28zbMath1360.68739arXiv1207.2892OpenAlexW3122284613MaRDI QIDQ2907340

Andrea Asperti, Wilmer Ricciotti

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.2892

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

Reverse complexity

Uses Software

• Matita

This page was built for publication: A Web Interface for Matita