HOL is a historical programming language created in 1985.
- HOL does not currently rank in our top 50% of languages
- HOL first appeared in 1985
- Read more about HOL on Semantic Scholar
- I have 27 facts about HOL. what would you like to know? email me and let me know how I can help.
Last updated August 22nd, 2019