Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

28

ENTCS
2007

favoriteEmaildiscussreport

82views more ENTCS 2007»

Web Interfaces for Proof Assistants

13 years 11 months ago

Web Interfaces for Proof Assistants

Download www.score.cs.tsukuba.ac.jp

This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functionality of local prover interfaces, to create an interface that is available completely within a web browser, but resembles and behaves like a local one. Security, availability and eﬃciency issues of the proposed solution are described. A prototype implementation of a web interface for the Coq proof assistant [8] created according to our architecture is presented. Access to the prototype is available on http://hair-dryer.cs.ru.nl:1024/. Key words: Proof Assistant, Interface, Web, Coq, Asynchronous DOM modiﬁcation

Cezary Kaliszyk

Real-time Traffic

Architecture | ENTCS 2007 | Proof Assistant | Web Development Technologies |

claim paper

Related Content

» Proof General A Generic Tool for Proof Development

» Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant System...

» Tinycals Step by Step Tacticals

» Assisted Proof Document Authoring

» Hearsay a new generation contextdriven multimodal assistive web browser

» Procedural Representation of CIC Proof Terms

» A Real Semantic Web for Mathematics Deserves a Real Semantics

» A gridbased extension to an assistive multimodal interface

» Proof as Composition An approach for the Largegranularity Web Services Composition

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Cezary Kaliszyk

Comments (0)