HOL is a historical programming language created in 1985.

34Years Old 0Users 0Jobs
  • 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