Isabelle%2FHOL is a historical programming language created in 1997.

22Years Old 0Users 0Jobs
  • Isabelle%2FHOL does not currently rank in our top 50% of languages
  • Isabelle%2FHOL first appeared in 1997
  • Read more about Isabelle%2FHOL on Semantic Scholar
  • I have 24 facts about Isabelle%2FHOL. what would you like to know? email me and let me know how I can help.

Last updated August 25th, 2019