Mike Gordon supplied these 14-02-2017:
These are various ancient HOL source directories I found at /usr/groups/hol at Cambridge.
-
Notifications
You must be signed in to change notification settings - Fork 0
theoremprover-museum/HOL90
About
The source of hte HOL90 Theorem prover.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published