Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

QED

< >

QED is an editor created in 1967 by Butler Lampson and L. Peter Deutsch and Dana Angluin.

#3236on PLDB 57Years Old
Wikipedia


- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v161.0.4