Isabelle/jEdit
From MaRDI portal
swMATH6432MaRDI QIDQ18543FDOQ18543
Author name not available (Why is that?)
Official website: http://www4.in.tum.de/~wenzelm/papers/isabelle-jedit-2011-1.pdf
Cited In (65)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- Pervasive parallelism in highly-trustable interactive theorem proving systems
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- Collaborative Interactive Theorem Proving with Clide
- Combining source, content, presentation, narration, and relational representation
- Cost-Effective Integration of MKM Semantic Services into Editing Environments
- The Imandra Automated Reasoning System (System Description)
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- Mechanizing a process algebra for network protocols
- CICM'21 systems entries
- Title not available (Why is that?)
- Translating Scala programs to Isabelle/HOL. System description
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Introduction to ``Milestones in interactive theorem proving
- Proof General
- PIDE
- Clide
- Isabelle/PIDE
- Scala
- MathBrush
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- jEdit
- Proof General Kit
- CtCoq
- iJulienne
- Monotonox
- Poly/ML
- Locales
- Coqoon
- Isabelle/Circus
- SigmaKEE
- PolyML
- Towards verified handwritten calculational proofs (short paper)
- Isabelle as document-oriented proof assistant
- CoqPIE
- PeaCoq
- MMode
- GitLab
- SUMO
- sTeX
- Logtk
- AWN
- Nested Multisets
- Superposition Calculus
- Verified Prover
- Isabelle/DOF
- FOL_Harrison
- Shared-memory multiprocessing for interactive theorem proving
- Showing invariance compositionally for a process algebra for network protocols
- Interactive theorem proving from the perspective of Isabelle/Isar
- Saturation_Framework
- 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
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Relational data across mathematical libraries
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
- Title not available (Why is that?)
- Improving legibility of natural deduction proofs is not trivial
- Automatic proof and disproof in Isabelle/HOL
- A web interface for Isabelle: the next generation
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: Isabelle/jEdit
