Homework 5
Due: Monday, 10/10
Read and complete Equiv.v.
Complete the following 2-star exercises in Equiv.v:
- skip_right
- IFB_false
- WHILE_true
- assign_aequiv
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.