Assignments

Unless otherwise stated, all homework assignments and mini-projects are due at 11:59pm. All homework should be submitted through Gradescope.

You have a total of 5 late days to use throughout the semester. You may use no more than 2 late days on any homework assignment, and no more than 1 late day on any mini-project. Late days cannot be used on mini-project checkpoints; checkpoint due dates are firm.

In order to submit on Gradescope, your written homework will need to be in PDF format. You are highly encouraged to typeset your solutions in LaTeX, and you will find appropriate templates for each assignment below. Your graders strongly prefer LaTeX-typeset solutions, as your work is much more likely to be clear and legible, as well as consistent with the formatting they expect to see. We recognize that certain types of answers, such as those that involve graphical figures or structured formatting, can be difficult or tedious to typeset. In those cases, the template will sometimes give an example in the comments that you are encouraged to emulate, but it is fine to scan a handwritten solution to include in your latex code as a graphic.

Programming portions of the assignment should be submitted on Gradescope with the relevant assignment. Instructions will be provided with the individual assignments.

Relevant Links

• Why3 installation instructions
• Why3 documentation (course version: 1.8.0)
• Why3 standard libraries