HOL-88
An implementation of HOL built on ML by Mike Gordon <mjcg@cl.cam.ac.uk>.Nearby terms:
hobbit ♦ hog ♦ HOL ♦ HOL-88 ♦ HOL-90 ♦ hole ♦ hole model ♦ Hollerithabetical order
Try this search on Wikipedia, Wiktionary, Google, OneLook.
hobbit ♦ hog ♦ HOL ♦ HOL-88 ♦ HOL-90 ♦ hole ♦ hole model ♦ Hollerithabetical order
Try this search on Wikipedia, Wiktionary, Google, OneLook.