This article describes a prototype implementation of a web interface for the Matita proof assistant.
A Web Interface for Matita
ASPERTI, ANDREA;RICCIOTTI, WILMER
2012
Abstract
This article describes a prototype implementation of a web interface for the Matita proof assistant.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.