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

Software UNKNOWN
Paulson, Lawrence C.;
(2016)

This is the source code from the interactive theorem prover Isabelle upon its original release in 1986.
Share - Bookmark

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