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

Software UNKNOWN
Paulson, Lawrence C.;
(2016)

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. This work has been supported by SERC which is a predecessor of the EPSRC [gran... View more
Share - Bookmark

  • Download from
    Apollo via Apollo (Software, 2016)
  • Cite this software