Software - Computer Science and Technology

Permanent URI for this collection

https://www.repository.cam.ac.uk/handle/1810/255126

Browse

Now showing 1 - 2 of 2

Open Access
Isabelle-86 - source code from the interactive theorem prover Isabelle upon its original release in 1986
(2016-04-22) Paulson, Lawrence C.; Paulson, Lawrence C. [0000-0003-0288-4279]
Open Access
Isabelle-89 - source code from the interactive theorem prover Isabelle upon its release in 1989
(2016-04-22) Paulson, Lawrence C.; Paulson, Lawrence C. [0000-0003-0288-4279]