I just pushed an update to the class slide deck and added a new Coq
file to the class repo. The Coq file is called
contains examples for class discussion. The slide set contains new
slides that contain a subset of information from the Coq file. Pull
the repo and you’ll be ready to go.
Bring your Pset15 questions to class. Stop being shy about asking questions!