PIDE

MaRDI QIDQ18521swMATHFDO

Official website http://www4.in.tum.de/~wenzelm/papers/pide-edu.pdf

Described by source

• Isabelle/jEdit – A Prover IDE within the PIDE Framework

Cited in

(19)

• Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
• Pervasive parallelism in highly-trustable interactive theorem proving systems
• The Imandra Automated Reasoning System (System Description)
• Mechanizing a process algebra for network protocols
• Translating Scala programs to Isabelle/HOL. System description
• scientific article; zbMATH DE number 7649979 (Why is no real title available?)
• Proof General
• Isabelle/jEdit
• Isabelle/PIDE
• jEdit
• iJulienne
• PolyML
• AWN
• Asynchronous user interaction and tool integration in Isabelle/PIDE
• Introduction to ``Milestones in interactive theorem proving
• Interactive theorem proving from the perspective of Isabelle/Isar
• Interaction with formal mathematical documents in Isabelle/PIDE
• scientific article; zbMATH DE number 7471719 (Why is no real title available?)
• Interactive simplifier tracing and debugging in Isabelle

This page was built for software: PIDE