HOL-90
An implementation of HOL built on SML/NJ by Brian Graham
<graham@cpsc.ucalgary.ca>. Runs on Sun-4.
ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z. Mailing list:
info-hol@clover.ucdavis.edu.
Nearby terms:
hog « HOL « HOL-88 « HOL-90 » hole » hole
model » Hollerithabetical order
|
