ALL meanings of hol
- noun Technical meaning of hol Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and HOL-90. 1
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?