HOL-88

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

Nearby terms:

hobbithogHOLHOL-88HOL-90holehole modelHollerithabetical order

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



Not using Html Comment Box  yet?