PLDB
Questions
Columns
Rows
GitHub icon
Isabelle/HOL
Isabelle/HOL - Programming language
<
>
edit
Isabelle/HOL is a
programming language
created in
1997
.
#3813
on PLDB
26
Years 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.
isabelle-91.html
路 isabelle-hol.html 路
isis.html
View source
PLDB
- Build the next great programming language
路
Search
路
Add Language
路
Features
路
Creators
路
Resources
路
About
路
Blog
路
Acknowledgements
路
Stats
路
Sponsor
路
Traffic
路
Traffic Today
路
Day 267
路
feedback@pldb.com
路
Login
Logout