Stainless Tutorial 2/4

01-22, CS-550 Formal Verification