Add to ORKGThis 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. Se-curity, availability and efficiency 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 o
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting d...
Abstract. We present a novel software architecture for graphical in-terfaces to interactive theorem ...
International audienceMost computer checked proofs are tied to the particular technology of a prover...
AbstractThis article describes an architecture for creating responsive web interfaces for proof assi...
AbstractIn this paper, we present the results of an ongoing effort in building user interfaces for p...
none2The work, presented at the International Conference on Computer Intelligent Mathematics (CICM 2...
In this paper, we present the results of an ongoing effort in building user interfaces for proof sys...
International audienceWe describe jsCoq, a new platform and user environment for the Coq interactive...
The capabilities a theorem proving interface exhibits are essential for the effective use of proof s...
We describe the design and prototype implementation of a combination of theorem prover interface tec...
This article describes the system ProofWeb that is currently being developed in Nijmegen and Amsterd...
This report describes the design, the implementation and the usage of a system for managing differen...
This report describes the design, the implementation and the usage of a system for managing differen...
This article describes the system ProofWeb developed for teaching logic to under-graduate computer s...
This article describes a prototype implementation of a web interface for the Matita proof assistant
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting d...
Abstract. We present a novel software architecture for graphical in-terfaces to interactive theorem ...
International audienceMost computer checked proofs are tied to the particular technology of a prover...
AbstractThis article describes an architecture for creating responsive web interfaces for proof assi...
AbstractIn this paper, we present the results of an ongoing effort in building user interfaces for p...
none2The work, presented at the International Conference on Computer Intelligent Mathematics (CICM 2...
In this paper, we present the results of an ongoing effort in building user interfaces for proof sys...
International audienceWe describe jsCoq, a new platform and user environment for the Coq interactive...
The capabilities a theorem proving interface exhibits are essential for the effective use of proof s...
We describe the design and prototype implementation of a combination of theorem prover interface tec...
This article describes the system ProofWeb that is currently being developed in Nijmegen and Amsterd...
This report describes the design, the implementation and the usage of a system for managing differen...
This report describes the design, the implementation and the usage of a system for managing differen...
This article describes the system ProofWeb developed for teaching logic to under-graduate computer s...
This article describes a prototype implementation of a web interface for the Matita proof assistant
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting d...
Abstract. We present a novel software architecture for graphical in-terfaces to interactive theorem ...
International audienceMost computer checked proofs are tied to the particular technology of a prover...