Homework 5

Due: Monday, 10/10

Read and complete Equiv.v.

Complete the following 2-star exercises in Equiv.v: As EC, you may complete the exercise himp_ceval.

At the top of your Equiv.v, include the usual README as in previous assignments.

Submit through Blackboard the one file listed above before the beginning of class on Monday, 10/10.