PLDB
Measures
Concepts
GitHub icon
Isabelle-91
Isabelle-91 - Programming language
<
>
edit
Isabelle-91 is a
programming language
created in
1991
.
#3744
on PLDB
33
Years Old
Isabelle-91 first developed in
University of Cambridge
Isabelle-91 on HOPL
Read more about Isabelle-91 on the web:
1.
iqf.html
路 isabelle-91.html 路
isabelle-hol.html
View source
PLDB
- Build the next great programming language
路
Search
路
Add Language
路
Features
路
Creators
路
Resources
路
About
路
Blog
路
Acknowledgements
路
Queries
路
Stats
路
Sponsor
路
Day 605
路
feedback@pldb.io
路
Login
Logout