The following pages link to PIDE (Q18521):
Displayed 12 items.
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Interaction with formal mathematical documents in Isabelle/PIDE (Q2287890) (← links)
- Translating Scala Programs to Isabelle/HOL (Q2817953) (← links)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (Q2843039) (← links)
- Asynchronous User Interaction and Tool Integration in Isabelle/PIDE (Q2879273) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- (Q5028488) (← links)
- The Imandra Automated Reasoning System (System Description) (Q5049029) (← links)
- (Q5219926) (← links)
- Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933) (← links)
- (Q5875442) (← links)