A web interface for Isabelle: the next generation

DOI10.1007/978-3-642-39320-4_22MaRDI QIDQ2843032zbMATH OpenOpenAlexFDO

Authors Christoph Lüth, Martin Ring

Publication date 9 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39320-4_22

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Collaborative Interactive Theorem Proving with Clide
• Web interfaces for proof assistants
• Asynchronous user interaction and tool integration in Isabelle/PIDE
• Interaction with formal mathematical documents in Isabelle/PIDE
• Isabelle/jEdit – A Prover IDE within the PIDE Framework

Cited in

(5)

• Clide
• Web interfaces for proof assistants
• Asynchronous user interaction and tool integration in Isabelle/PIDE
• Using camlp4 for presenting dynamic mathematics on the web
• Remote verification system for Mizar integrated with emwiki

Describes a project that uses

Uses Software

• jEdit
• Isabelle/jEdit
• Proof General
• Isabelle

This page was built for publication: A web interface for Isabelle: the next generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843032)