Isabelle-86 - source code from the interactive theorem prover Isabelle upon its original release in 1986
Repository URI
Repository DOI
Change log
Authors
Paulson, Lawrence C. https://orcid.org/0000-0003-0288-4279
Description
This is the source code from the interactive theorem prover Isabelle upon its original release in 1986.
Version
Software / Usage instructions
Source files in Standard ML
Keywords
Isabelle, interactive theorem proving