A generic approach to building user interfaces for theorem provers
Journal of Symbolic Computation - Special issue graphical user interfaces and protocols
Proof General: A Generic Tool for Proof Development
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Web Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
User Interaction with the Matita Proof Assistant
Journal of Automated Reasoning
Proviola: a tool for proof re-animation
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The Matita interactive theorem prover
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Large formal wikis: issues and solutions
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Isabelle as document-oriented proof assistant
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Proof, message and certificate
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
| Hi-index | 0.00 |
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]).