> I'm asking around for 940, CTSS, and Multics versions of QED. QED for the 940 timesharing system might appear later. Multics QEDX: https://ban.ai/~jhj/misc/qedx/