Repository logo
 

Isabelle-86 - source code from the interactive theorem prover Isabelle upon its original release in 1986


No Thumbnail Available

Type

Software

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 upon its original release in 1986.

Version

Software / Usage instructions

Source files in Standard ML

Keywords

Isabelle, interactive theorem proving

Publisher

Relationships
Supplements: