Repository logo
 

Isabelle-89 - source code from the interactive theorem prover Isabelle upon its release in 1989


Loading...
Thumbnail Image

Change log

Authors

Paulson, Lawrence C.  ORCID logo  https://orcid.org/0000-0003-0288-4279

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].

Relationships

Supplements: