Isabelle/HOL is a historical programming language created in 1997.

22Years Old 1,000Users 0Jobs
  • Isabelle/HOL ranks in the bottom 50% of languages
  • Isabelle/HOL first appeared in 1997
  • Read more about Isabelle/HOL on Semantic Scholar
  • I have 24 facts about Isabelle/HOL. just email me if you need more.
Edit

Last updated February 11th, 2019