CS 6848 - Principles of Programming Languages
Homework 6:
There are two parts of this assignment.
Part 1:
coq-a1.v
Part 2:
coq-a2.v
You have to fill the proofs and submit.