Join our
new subreddit
X
PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
Isabelle-91
<
>
edit
Isabelle-91 is a
programming language
created in
1991
.
#4165
on PLDB
34
Years Old
Tags:
programming language
Early development of Isabelle-91 happened 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
PLDB
- Build the next great programming language
路
Add
路
Add Prompt
路
Issues
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
Built with Scroll v170.1.0