Stainless Tutorial 3/4

01-23, CS-550 Formal Verification