PLDB Measures Concepts

QED

< >

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

#2764on PLDB

57Years Old

QED Wikipedia page
QED first developed in University of California, Berkeley

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout