University of Waterloo
QEDの別バージョンとして、ウォータールー大学でハネウェルのシステム向けに Peter Fraser が書いた (Friendly Editor) がある。、ロブ・パイク、Hugh Redelmeier、David Tilbrook が結成したトロント大学のチームはUNIXにQEDを移植している。David Tilbrook はQEFというツールセットにQEDを含めている。