Plato: A Mediator between Text-Editors and Proof Assistance Systems (original) (raw)
Related papers
PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
Electronic Notes in Theoretical Computer Science, 2007
Assisted Proof Document Authoring
Lecture Notes in Computer Science, 2006
Using open mathematical documents to interface computer algebra and proof assistant systems
Intelligent Computer Mathematics, 2009
Towards an Interactive Mathematical Proof Mode
Applied Logic Series, 2003
Literate proving: presenting and documenting formal proofs
2006
A Computer Environment for Writing Ordinary Mathematical Proofs
Lecture Notes in Computer Science, 2001
Proof in Context—Web Editing with Rich, Modeless Contextual Feedback
A Generic Approach to Building User Interfaces for Theorem Provers
Journal of Symbolic Computation, 1998
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments
Electronic Notes in Theoretical Computer Science, 2004
An Interactive Proof Development Environment+ Anticipation= A Mathematical Assistant?
International Journal of Computing Anticipatory Systems (CASYS), 1999
2008
A Generic Wiki for formal mathematics: Document-oriented abstraction
cs.ru.nl
IMPS: An interactive mathematical proof system
Journal of Automated Reasoning, 1993
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Journal of Formalized Reasoning, 2016
The Theorema Environment for Interactive Proof Development
Lecture Notes in Computer Science, 2005
LΩUI: A Distributed Graphical User Interface for the Interactive Proof System ΩMEGA
1998
Towards a Mathematics Formalisation Assistant using Large Language Models
arXiv (Cornell University), 2022
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Lecture Notes in Computer Science, 2010
Towards Automatic Formalisation of Informal Mathematical Text
lama.univ-savoie.fr
On the Role of OpenMath in Interactive Mathematical Documents
Journal of Symbolic Computation, 2001
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Journal of Automated Reasoning
An Emacs-Interface for Type-Directed Support for Constructing Proofs and Programs.
ENTCS, 2006
jsCoq: Towards Hybrid Theorem Proving Interfaces
Electronic Proceedings in Theoretical Computer Science, 2017
2008
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System
Electronic Proceedings in Theoretical Computer Science, 2013
A Theorem Prover for Scientific and Educational Purposes
Electronic Proceedings in Theoretical Computer Science
A Distributed Graphical User Interface for the Interactive Proof System
MathSpad: A System for On-Line Preparation of Mathematical Documents
Towards an Interactive Mathematical Proof
2003
Real theorem provers deserve real user-interfaces
Proceedings of the fifth ACM SIGSOFT symposium on Software development environments - SDE 5, 1992
Towards Computer-Assisted Proof Tutoring
Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity
Lecture Notes in Computer Science, 2006
Toward an Object-Oriented Structure for Mathematical Text
2005