Asynchronous User Interaction and Tool Integration in Isabelle/PIDE

DOI10.1007/978-3-319-08970-6_33zbMath1416.68182OpenAlexW246379881MaRDI QIDQ2879273

Makarius Wenzel

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_33

Mathematics Subject Classification ID

Related Items (7)

Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface ⋮ Unnamed Item ⋮ Unnamed Item ⋮ From LCF to Isabelle/HOL ⋮ Translating Scala Programs to Isabelle/HOL ⋮ CoqPIE: An IDE Aimed at Improving Proof Development Productivity ⋮ Semantics of Mizar as an Isabelle object logic

Uses Software

• Coq
• Dafny
• Isabelle
• Isabelle/HOL
• Proof General
• Matita
• PIDE
• Isabelle/jEdit
• Scala
• Isabelle/PIDE

This page was built for publication: Asynchronous User Interaction and Tool Integration in Isabelle/PIDE