Used for AACL-IJCNLP manuscript submissions.
Note from Overleaf:
SyncTeX will not work correctly with this template (as well as other templates based on similar underlying code, eg CVPR, EMNLP, etc) when the line numbers are active. To make SyncTeX function while authoring your manuscript, either on Overleaf or in your own LaTeX installation, the line numbers have to be turned off by uncommenting \aclfinalcopy.
A template for a proof submitted as homework with student name, today's date, assignment number, assignment statement, and proof.
Includes a function for aligning equals signs and has a box for the QED at the end of the proof.