qed is an ancestor of VI and unix ed.
Author: Ken Thompson Homepage: http://cm.bell-labs.com/cm/cs/who/dmr/ (Dennis Ritchie's home page) Family: BellLabsFamily Platform: SDS 940, IBM 7094 at MIT CTSS, GE-645 Multics, GE-TSS License: Commercial
QED incomplete history: http://cm.bell-labs.com/cm/cs/who/dmr/qed.html QED Implementation notes: http://cm.bell-labs.com/cm/cs/who/dmr/qeddoc.html QED User's Manual: http://cm.bell-labs.com/cm/cs/who/dmr/qedman.html QED as part of QEF http://www.qef.com/html/toolsdesc.html#qed