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
Publisher
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution 2.0 UK: England & Wales
Sponsorship
This work has been supported by SERC which is a predecessor of the EPSRC [grant number GR/E0355.7].