PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
QED
<
>
edit
QED is an
editor
created in
1967
by
Butler Lampson
and
L. Peter Deutsch
and
Dana Angluin
.
#3236
on PLDB
57
Years Old
Wikipedia
Tags:
editor
Early development of QED happened in
University of California Berkeley
1 PLDB concepts link to QED:
ed
epub.html
路 qed-editor.html 路
truck.html
PLDB
- Build the next great programming language
路
Add
路
Issues
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
Built with Scroll v161.0.4