Isabelle-89 - source code from the interactive theorem prover Isabelle upon its release in 1989
Repository URI
Repository DOI
Change log
Authors
Description
This is the source code from the interactive theorem prover Isabelle as described in the paper above (1989), and the first version to use intuitionistic higher-order logic as a foundation.
Version
Software / Usage instructions
Source files in Standard ML
Keywords
Isabelle, interactive theorem proving, logical frameworks
Publisher
Sponsorship
This work has been supported by SERC which is a predecessor of the EPSRC [grant number GR/E0355.7].