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].Nearby terms:
hog ♦ HOL ♦ HOL-88 ♦ HOL-90 ♦ hole ♦ hole model ♦ Hollerithabetical order
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
