What does HOL stand for?

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

ADVERTISEMENT