| Publication | Date of Publication | Type |
|---|
| Distributed parallel build for the Isabelle archive of formal proofs | 2026-02-10 | Paper |
| Seventeen provers under the hammer | 2024-07-15 | Paper |
scientific article; zbMATH DE number 7756106 (Why is no real title available?)
(available as arXiv preprint) | 2023-10-27 | Paper |
| scientific article; zbMATH DE number 7649970 (Why is no real title available?) | 2023-02-03 | Paper |
| CICM'21 systems entries | 2022-04-22 | Paper |
| The Isabelle/Naproche natural language proof assistant | 2021-12-01 | Paper |
| Interactive theorem proving from the perspective of Isabelle/Isar | 2020-03-09 | Paper |
Interaction with formal mathematical documents in Isabelle/PIDE
(available as arXiv preprint) | 2020-01-22 | Paper |
| Relational data across mathematical libraries | 2020-01-22 | Paper |
From LCF to Isabelle/HOL
Formal Aspects of Computing | 2019-12-18 | Paper |
Eisbach: a proof method language for Isabelle
Journal of Automated Reasoning | 2016-05-26 | Paper |
An Isabelle proof method language
Interactive Theorem Proving | 2014-09-08 | Paper |
Asynchronous user interaction and tool integration in Isabelle/PIDE
Interactive Theorem Proving | 2014-09-08 | Paper |
Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Pervasive parallelism in highly-trustable interactive theorem proving systems
Lecture Notes in Computer Science | 2013-08-09 | Paper |
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Shared-memory multiprocessing for interactive theorem proving
Interactive Theorem Proving | 2013-08-07 | Paper |
Isabelle/jEdit – A Prover IDE within the PIDE Framework
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Isabelle as document-oriented proof assistant
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Local Theory Specifications in Isabelle/Isar
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Constructive Type Classes in Isabelle
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Logic-Free Reasoning in Isabelle/Isar
Lecture Notes in Computer Science | 2009-01-27 | Paper |
The Isabelle Framework
Lecture Notes in Computer Science | 2008-12-04 | Paper |
Building Formal Method Tools in the Isabelle/Isar Framework
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Context Aware Calculation and Deduction
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Structured Induction Proofs in Isabelle/Isar
Lecture Notes in Computer Science | 2007-09-05 | Paper |
