PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Isabelle/HOL

< >

Isabelle/HOL is a programming language created in 1997.

#4149on PLDB

27Years Old

Tags: programming language
Early development of Isabelle/HOL happened 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 · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0