Assignment 4 – Internal Verification 🔗 ℹ

Due Friday Fri 11/3 11:59pm

Solve the exercises laid out in hw4.agda.