What does HOL stand for?

What does HOL mean? We have 83 definitions. Read most used HOL meanings below.

ADVERTISEMENT