|
1 definition found
From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:
HOL-88
An implementation of {HOL} built on {ML} by Mike Gordon
.
Powered by Blog Dictionary [BlogDict]
Kindly supported by
Vaffle Invitation Code
Get a Freelance Job - Outsource Your Projects | Threadless Coupon
All rights
reserved. (2008-2026)