QED

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

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