30:29 duration 30 minutes 29 seconds
cos326-2020-08-01-simple-proofs
Did I Get it Right? Part 1: Simple Proofs