Isabelle/jEdit
From MaRDI portal
Software:18543
swMATH6432MaRDI QIDQ18543FDOQ18543
Author name not available (Why is that?)
Cited In (34)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- A Web Interface for Isabelle: The Next Generation
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- Collaborative Interactive Theorem Proving with Clide
- Cost-Effective Integration of MKM Semantic Services into Editing Environments
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity
- The Imandra Automated Reasoning System (System Description)
- Automatic Proof and Disproof in Isabelle/HOL
- Title not available (Why is that?)
- Isabelle as Document-Oriented Proof Assistant
- Mechanizing a process algebra for network protocols
- CICM'21 systems entries
- Shared-Memory Multiprocessing for Interactive Theorem Proving
- Title not available (Why is that?)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
- Introduction to ``Milestones in interactive theorem proving
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Translating Scala Programs to Isabelle/HOL
- Towards verified handwritten calculational proofs (short paper)
- Interactive Simplifier Tracing and Debugging in Isabelle
- Interaction with formal mathematical documents in Isabelle/PIDE
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)
- Integration of formal proof into unified assurance cases with Isabelle/SACM
- Asynchronous User Interaction and Tool Integration in Isabelle/PIDE
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Relational data across mathematical libraries
- Title not available (Why is that?)
- Combining Source, Content, Presentation, Narration, and Relational Representation
- Showing Invariance Compositionally for a Process Algebra for Network Protocols
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
- Improving legibility of natural deduction proofs is not trivial
This page was built for software: Isabelle/jEdit