QED [99%](Software) [Line editor] ... rewrote QED in BCPL for Multics. The Multics ... 1966. QED (for "quick editor") addressed ... QED is a line-oriented computer text ...
QED manifesto [84%](Computing) [Formal methods] ... QED project or project QED, were outlined in the QED manifesto, a document ... knowledge The QED manifesto was a ...