====== The Labs ======

We will be using Prof. Roumani's [[https://www.cse.yorku.ca/~roumani/verimips|Lab Handbook.]]