Cited in
(67)- 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
- Cost-Effective Integration of MKM Semantic Services into Editing Environments
- Combining source, content, presentation, narration, and relational representation
- 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
- Translating Scala programs to Isabelle/HOL. System description
- scientific article; zbMATH DE number 7649979 (Why is no real title available?)
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Proviola
- Isabelle/Isar
- Proof General
- PIDE
- Clide
- Isabelle/PIDE
- Scala
- MathBrush
- jEdit
- Proof General Kit
- CtCoq
- iJulienne
- Monotonox
- Poly/ML
- Locales
- Coqoon
- Isabelle/Circus
- SigmaKEE
- PolyML
- CoqPIE
- PeaCoq
- MMode
- GitLab
- SUMO
- sTeX
- Logtk
- AWN
- Nested Multisets
- Superposition Calculus
- Verified Prover
- Isabelle/DOF
- FOL_Harrison
- Saturation_Framework
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Introduction to ``Milestones in interactive theorem proving
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Towards verified handwritten calculational proofs (short paper)
- Showing invariance compositionally for a process algebra for network protocols
- Isabelle as document-oriented proof assistant
- Shared-memory multiprocessing for interactive theorem proving
- Interactive theorem proving from the perspective of Isabelle/Isar
- 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
- Relational data across mathematical libraries
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
- scientific article; zbMATH DE number 7471719 (Why is no real title available?)
- 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
