HOL-90




An implementation of HOL built on SML/NJ by Brian Graham <[email protected]>.

Runs on Sun-4.

(ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z).

Mailing list: [email protected].





< Previous Terms Terms Containing HOL-90 Next Terms >
Hobbit
hobbit
hog
HOL
HOL-88
 HOL
 hole
hole model
Hollerithabetical order
Hollerith, Herman
Hollywired