Assignment 7 – Agda Proofs

Due Tuesday 6/11 11:59pm

Prove the theorems from Assignment 6 or revisions as noted in the graded version and/or the feedback from your presentation.