PLDB Top 1,000 Features Creators Resources Blog Explorer Download

Isabelle/HOL

< >

Isabelle/HOL is a programming language created in 1997.

#3882on PLDB

27Years Old

Isabelle/HOL first developed in University of Queensland and Technische Universit at Berlin
Isabelle/HOL on HOPL
Read more about Isabelle/HOL on Semantic Scholar: 1.

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 630 · Donate · feedback@pldb.io