research
∙
03/10/2023
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
The paper collects preparatory work for interdisciplinary collaboration ...
share
research
∙
05/05/2020
Making Isabelle Content Accessible in Knowledge Representation Formats
The libraries of proof assistants like Isabelle, Coq, HOL are notoriousl...
research
∙
07/05/2019
From LCF to Isabelle/HOL
Interactive theorem provers have developed dramatically over the past fo...
research
∙
05/17/2019
Isabelle technology for the Archive of Formal Proofs with application to MMT
This is an overview of the Isabelle technology behind the Archive of For...
research
∙
05/17/2019
Isabelle technology for the Archive of Formal Proofs
This is an overview of the Isabelle technology behind the Archive of For...
research
∙
05/05/2019
Interaction with Formal Mathematical Documents in Isabelle/PIDE
Isabelle/PIDE has emerged over more than 10 years as the standard Prover...
research
∙
11/27/2018
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
Isabelle/jEdit is the main application of the Prover IDE (PIDE) framewor...
research
∙
07/08/2013
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking
The LCF tradition of interactive theorem proving, which was started by M...
research
∙
07/14/2012
Isabelle/jEdit --- a Prover IDE within the PIDE framework
PIDE is a general framework for document-oriented prover interaction and...
research
∙
02/22/2012