
Making Isabelle Content Accessible in Knowledge Representation Formats
The libraries of proof assistants like Isabelle, Coq, HOL are notoriousl...
read it

From LCF to Isabelle/HOL
Interactive theorem provers have developed dramatically over the past fo...
read it

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...
read it

Isabelle technology for the Archive of Formal Proofs
This is an overview of the Isabelle technology behind the Archive of For...
read it

Interaction with Formal Mathematical Documents in Isabelle/PIDE
Isabelle/PIDE has emerged over more than 10 years as the standard Prover...
read it

Isabelle/jEdit as IDE for Domainspecific Formal Languages and Informal Text Documents
Isabelle/jEdit is the main application of the Prover IDE (PIDE) framewor...
read it

READEVALPRINT in Parallel and Asynchronous Proofchecking
The LCF tradition of interactive theorem proving, which was started by M...
read it

Isabelle/jEdit  a Prover IDE within the PIDE framework
PIDE is a general framework for documentoriented prover interaction and...
read it

Isabelle/PIDE as Platform for Educational Tools
The Isabelle/PIDE platform addresses the question whether proof assistan...
read it
Makarius Wenzel
is this you? claim profile