Index
Blog

# April 7 Class

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 IndProp.v and 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.