Pages that link to "Item:Q2907353"
From MaRDI portal
The following pages link to Isabelle/jEdit – A Prover IDE within the PIDE Framework (Q2907353):
Displaying 10 items.
- PIDE (Q18521) (← links)
- Isabelle/jEdit (Q18543) (← links)
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Translating Scala Programs to Isabelle/HOL (Q2817953) (← 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)
- Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933) (← links)
- (Q5875442) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
