Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit

DOI10.1016/j.entcs.2012.06.009zbMath1294.68129OpenAlexW2135156156WikidataQ113318095 ScholiaQ113318095MaRDI QIDQ5170238

Makarius Wenzel

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.06.009

zbMATH Keywords

IsabelleScalaasynchronous proof processingjEditre-use of editor and IDE frameworks

Mathematics Subject Classification ID

Related Items

CICM'21 systems entries, Automatic Proof and Disproof in Isabelle/HOL, Combining Source, Content, Presentation, Narration, and Relational Representation, Isabelle as Document-Oriented Proof Assistant, Interactive Simplifier Tracing and Debugging in Isabelle

Uses Software

• Isabelle
• ML
• Proof General
• Matita
• Isabelle/jEdit
• Scala
• jEdit
• Proof General Kit
• Poly/ML
• Emacs

Cites Work

• Unnamed Item
• A proof-centric approach to mathematical assistants
• User interaction with the Matita proof assistant
• Web Interfaces for Proof Assistants
• Managing Proof Documents for Asynchronous Processing
• A Framework for Interactive Proof