PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
Isabelle/HOL
<
>
edit
Isabelle/HOL is a
programming language
created in
1997
.
#4127
on PLDB
27
Years 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.
isabelle-91.html
路 isabelle-hol.html 路
isis.html
PLDB
- Build the next great programming language
路
Add
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
路
Part of the World Wide Scroll