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 (5)

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

• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit