PLDB 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.

#3238on PLDB

57Years Old

Tags: editor
Early development of QED happened in University of California Berkeley
1 PLDB concepts link to QED: ed

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

Built with Scroll v164.7.0