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

[[https://www.cse.yorku.ca/~roumani/verimips|CSE2021L]]