follow Dictionary.com

Know how to use "fewer" and "less"? Find out.

hol-88

hol-88 in Technology


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

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for hol

0
0
Scrabble Words With Friends

Nearby words for hol-88