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
- The Imandra Automated Reasoning System (System Description)
- Title not available (Why is that?)
- Mechanizing a process algebra for network protocols
- Title not available (Why is that?)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
- Introduction to ``Milestones in interactive theorem proving
- Translating Scala Programs to Isabelle/HOL
- Interactive Simplifier Tracing and Debugging in Isabelle
- Interaction with formal mathematical documents in Isabelle/PIDE
- Asynchronous User Interaction and Tool Integration in Isabelle/PIDE
- Title not available (Why is that?)
This page was built for software: PIDE
