HOL-88

An implementation of HOL built on ML by Mike Gordon <[email protected]>.

Nearby terms:

hobbit ♦ hog ♦ HOL ♦ HOL-88 ♦ HOL-90 ♦ hole ♦ hole model ♦ Hollerithabetical order

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading