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)

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

This page was built for software: PIDE