PLDB
Top 1,000
Features
Creators
Resources
Blog
Explorer
Download
GitHub icon
Mizar
<
>
edit
Mizar is a
programming language
created in
1973
.
#3976
on PLDB
51
Years Old
Mizar first developed in
University of Alberta
Mizar on HOPL
Read more about Mizar on Semantic Scholar:
1.
mirfac.html
路 mizar.html 路
mlisp2.html
View source
PLDB
- Build the next great programming language
路
About
路
Acknowledgements
路
Extensions
路
Day 630
路
Donate
路
feedback@pldb.io