Next: Sequence Logic, Previous: Customization, Up: Top

## 8 Proof Submission

GNU Aris allows users to submit their proofs to a grading server, which allows instructors to use Aris in their classes. Aris submits proofs through FTP, and allows users to indicate an email for themselves and an optional email for their instructors.

Submission submits all open proofs for submission. It allows users to specify a problem designation for each open proof.

Grading runs by checking the correctness of the entire proof. It is the responsibility of the grading server to confirm that the proof is the correct proof.

When the files are submitted, Aris submits them to the server, along with a directive file. The directive file will be named ‘`USER.directive`’, where ‘`USER`’ is the base name of the email address specified. The files submitted will be renamed to be ‘`BASE-USER.tle`’, where ‘`BASE`’ is the original basename of the file. This prevents filename conflicts on the FTP server.