HOL-90

An implementation of HOL built on SML/NJ by Brian Graham <[email protected]>. Runs on Sun-4.

ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z. Mailing list: [email protected]

Nearby terms:

hogHOLHOL-88HOL-90holehole modelHollerithabetical order

Try this search on Wikipedia, OneLook, Google


Loading