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, but no more than 2 on any given assignments. You cannot use late days on mini-projects due to the midterm and final grade submission deadlines.

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

assignment due date handout template
Asst 0 Why3 Mechanics Fri 1/26 [pdf] [zip]
Asst 1 Variations on a Theme Fri 2/2 [pdf] [zip]
Asst 2 Count On It: Unary Verification Fri 2/9 [pdf] [zip]
Asst 3 Dynamic Duo Fri 2/16 [pdf] [zip]
MP 1 Hybrid Data Structures Fri 2/23 (chkpt) [pdf] [zip]
Fri 3/1
Asst 4 Proofs and Refutations Fri 3/15 [pdf] [zip]
Asst 5 (I can't get no) Satisfaction Fri 3/22 [pdf] [zip]
Asst 6 Logic's Labyrinth: Navigating Decisions Fri 3/29 [pdf] [zip]
MP 2 Decision Procedures Fri 4/5 (chkpt) [pdf] [zip]
Fri 4/19
Asst 7 Time Flies Fri 4/26 [pdf] [zip]