Isabelle/jEdit
From MaRDI portal
Cited in
(67)- Proviola
- Isabelle/Isar
- Introduction to ``Milestones in interactive theorem proving
- Proof General
- Towards verified handwritten calculational proofs (short paper)
- PIDE
- Scala
- Clide
- Isabelle/PIDE
- MathBrush
- Integration of formal proof into unified assurance cases with Isabelle/SACM
- CICM'21 systems entries
- jEdit
- Proof General Kit
- iJulienne
- CtCoq
- Monotonox
- Interaction with formal mathematical documents in Isabelle/PIDE
- Relational data across mathematical libraries
- Poly/ML
- Locales
- Coqoon
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- SigmaKEE
- Isabelle/Circus
- Translating Scala programs to Isabelle/HOL. System description
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- A web interface for Isabelle: the next generation
- Pervasive parallelism in highly-trustable interactive theorem proving systems
- Mechanizing a process algebra for network protocols
- Showing invariance compositionally for a process algebra for network protocols
- Collaborative Interactive Theorem Proving with Clide
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- PolyML
- Cost-Effective Integration of MKM Semantic Services into Editing Environments
- Improving legibility of natural deduction proofs is not trivial
- Automatic proof and disproof in Isabelle/HOL
- CoqPIE
- PeaCoq
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- MMode
- GitLab
- sTeX
- Superposition Calculus
- Logtk
- Verified Prover
- Nested Multisets
- AWN
- SUMO
- Isabelle/DOF
- FOL_Harrison
- Fixed points theorems for non-transitive relations
- The Imandra Automated Reasoning System (System Description)
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
- Combining source, content, presentation, narration, and relational representation
- Isabelle as document-oriented proof assistant
- Interactive theorem proving from the perspective of Isabelle/Isar
- Shared-memory multiprocessing for interactive theorem proving
- Saturation_Framework
- Interactive simplifier tracing and debugging in Isabelle
- scientific article; zbMATH DE number 7649979 (Why is no real title available?)
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Formalizing Bachmair and Ganzinger's ordered resolution prover
This page was built for software: Isabelle/jEdit
