HOL-88

An implementation of HOL built on ML by Mike Gordon <mjcg@cl.cam.ac.uk>.

Try this search on Wikipedia, OneLook, Google

Nearby terms:

hobbit « hog « HOL « HOL-88 » HOL-90 » hole » hole model

Loading