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.