PIDE
From MaRDI portal
Software:18521
swMATH6404MaRDI QIDQ18521FDOQ18521
Author name not available (Why is that?)
Cited In (12)
- 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
- Title not available (Why is that?)
- Translating Scala programs to Isabelle/HOL. System description
- 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
- Title not available (Why is that?)
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: PIDE
