02:47
India e-Summer Seminar Promo Video 2021
14:47
cos326-2020-08-04-induction-datatypes
Did I Get it Right? Part 4: Induction for Datatypes
23:57
cos326-2020-08-03-induction-lists
Did I Get it Right? Part 3: Induction for Lists
14:41
cos326-2020-08-02-induction-nats
Did I Get it Right? Part 2: Induction for Naturals
30:29
cos326-2020-08-01-simple-proofs
Did I Get it Right? Part 1: Simple Proofs