Homework 1: Coq Basics

Due Friday, January 24, at 11:59 PM

Install Coq on your computer, and complete the exercises in hw1.v. Most of these exercises are also in Basics.v; feel free to solve them there and then copy them over to hw1.v. When you’re done, submit your hw1.v file on Gradescope.

If you are a graduate student, make sure to complete the grad exercise. If you are not a graduate student, you can still do it for practice, but you don’t have to.