Before starting this set, you should read the proof is in the pudding and an introduction to verifications
CS 13 (Fall 2023) Written Set 00