HOL-88

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

Nearby terms:

hobbithogHOLHOL-88HOL-90holehole modelHollerithabetical order

Try this search on Wikipedia, OneLook, Google


Loading