CS210 Lecture 3 (Algorithms, Proof of Correctness, Linear Search) Published -- Download video MP4 360p