Lecture 12: Verdi II

Preparation

Read How to build a simple system in Verdi. We are going to go through the code/proof in class.