Certified Programming with Dependent Types, CAS 763, 2019

Assignment 2