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
