Isabelle/jEdit – A Prover IDE within the PIDE Framework
From MaRDI portal
Publication:2907353
DOI10.1007/978-3-642-31374-5_38zbMath1360.68769arXiv1207.3441OpenAlexW1719912185MaRDI QIDQ2907353
Publication date: 7 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.3441
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Mechanizing a process algebra for network protocols ⋮ The Imandra Automated Reasoning System (System Description) ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formalizing Bachmair and Ganzinger's ordered resolution prover ⋮ Translating Scala Programs to Isabelle/HOL ⋮ PIDE ⋮ Isabelle/jEdit ⋮ Interactive Simplifier Tracing and Debugging in Isabelle
Uses Software
This page was built for publication: Isabelle/jEdit – A Prover IDE within the PIDE Framework
