154 search results - page 1 / 31 » Web Interfaces for Proof Assistants |
ENTCS
2007
13 years 11 months ago
2007
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
TACAS
2000
Springer
14 years 2 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
ENTCS
2007
13 years 11 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
MKM
2005
Springer
14 years 4 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...