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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: hog « HOL « HOL-88 « HOL-90 » hole » hole model » Hollerithabetical order


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.