The following pages link to Isabelle/jEdit (Q18543):
Displaying 34 items.
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Towards verified handwritten calculational proofs (short paper) (Q1791183) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- CICM'21 systems entries (Q2128833) (← links)
- Interaction with formal mathematical documents in Isabelle/PIDE (Q2287890) (← links)
- Relational data across mathematical libraries (Q2287899) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Translating Scala Programs to Isabelle/HOL (Q2817953) (← links)
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity (Q2829283) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- A Web Interface for Isabelle: The Next Generation (Q2843032) (← links)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (Q2843039) (← links)
- Showing Invariance Compositionally for a Process Algebra for Network Protocols (Q2879249) (← links)
- Collaborative Interactive Theorem Proving with Clide (Q2879270) (← links)
- Asynchronous User Interaction and Tool Integration in Isabelle/PIDE (Q2879273) (← links)
- Cost-Effective Integration of MKM Semantic Services into Editing Environments (Q2907317) (← links)
- Improving legibility of natural deduction proofs is not trivial (Q2921120) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← 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)
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) (Q5049030) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238) (← links)
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275) (← links)
- Combining Source, Content, Presentation, Narration, and Relational Representation (Q5200120) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- (Q5219926) (← links)
- Shared-Memory Multiprocessing for Interactive Theorem Proving (Q5327360) (← links)
- Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933) (← links)
- (Q5875442) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5916290) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
