Assignments

Assignments for the course will ask you to solve exercises from the textbooks in Coq. Feel free to post questions on Piazza or come to office hours for help with homework. If you’re stuck on something for more than 15 minutes or so, take a break and ask a question! It’s easy to miss small things when writing proofs, and a bit of outside perspective often helps. Assignments will be submitted via Gradescope. We will work through example solutions in class, so please submit assignments on time, even if they’re not 100% complete.