DOIAbstract
This article describes a prototype implementation of a web interface for the Matita proof assistant
This article describes a prototype implementation of a web interface for the Matita proof assistant
The topic of this master thesis is the development of a new Web based HMI portal for Tetra Aptiva As...
Abstract. Proof assistants are complex applications whose develop-ment has never been properly syste...
The project entitled “Formalization of Formal Topology by means of the interactive theorem prover Ma...
This article describes a prototype implementation of a web interface for the Matita proof assistant
none2The work, presented at the International Conference on Computer Intelligent Mathematics (CICM 2...
Abstract. Matita is a new, document-centric, tactic-based interactive theorem prover. This paper foc...
Abstract. Matita is an interactive theorem prover being developed by the Helm team at the University...
AbstractThis article describes an architecture for creating responsive web interfaces for proof assi...
This article describes an architecture for creating responsive web interfaces for proof assistants. ...
This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactiv...
Matita is a proof assistant characterised by a rich, user extensible, output facility based on a wid...
This paper is a report about the use of Matita, an interactive theorem prover under development at t...
Proof assistants are complex applications whose development has never been properly systematized or ...
The project entitled "Formalization of Formal Topology by means of the interactive theorem prover Ma...
The article presents the analysis of the technologies used in the implementation of web application ...
The topic of this master thesis is the development of a new Web based HMI portal for Tetra Aptiva As...
Abstract. Proof assistants are complex applications whose develop-ment has never been properly syste...
The project entitled “Formalization of Formal Topology by means of the interactive theorem prover Ma...
This article describes a prototype implementation of a web interface for the Matita proof assistant
none2The work, presented at the International Conference on Computer Intelligent Mathematics (CICM 2...
Abstract. Matita is a new, document-centric, tactic-based interactive theorem prover. This paper foc...
Abstract. Matita is an interactive theorem prover being developed by the Helm team at the University...
AbstractThis article describes an architecture for creating responsive web interfaces for proof assi...
This article describes an architecture for creating responsive web interfaces for proof assistants. ...
This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactiv...
Matita is a proof assistant characterised by a rich, user extensible, output facility based on a wid...
This paper is a report about the use of Matita, an interactive theorem prover under development at t...
Proof assistants are complex applications whose development has never been properly systematized or ...
The project entitled "Formalization of Formal Topology by means of the interactive theorem prover Ma...
The article presents the analysis of the technologies used in the implementation of web application ...
The topic of this master thesis is the development of a new Web based HMI portal for Tetra Aptiva As...
Abstract. Proof assistants are complex applications whose develop-ment has never been properly syste...
The project entitled “Formalization of Formal Topology by means of the interactive theorem prover Ma...
Add to ORKG