Proof ending

• Theorem prover's sign-off
• Calculus class letters
• Letters at the end of a proof
• Mosul money
• Finale for a geom. lesson
• Mathematician's sign-off
• End of a proof, for short

Wikipedia Word definitions in Wikipedia
QED is a line-oriented computer text editor that was developed by Butler Lampson and L. Peter Deutsch for the Berkeley Timesharing System running on the SDS 940 . It was implemented by L. Peter Deutsch and Dana Angluin between 1965 and 1966. QED (for "quick ...

The Collaborative International Dictionary Word definitions in The Collaborative International Dictionary
QED \Q.E.D\, QED \QED\(k[=u]"[=e]*d[=e]"), interj. [From Latin, quod erat demonstrandum, i.e. which was demonstrated.] Which was demonstrated; -- a phrase used after the conclusion of some line of reasoning, especially in mathematical or logical proofs. ...