48:36duration 48 minutes 36 seconds

Erdos, Laszlo, March 18, 2024, "Spectral…

Erdos, Laszlo, March 18, 2024, "Spectral universality of non-Hermitian random matrices"

02:08duration 2 minutes 8 seconds

Professor Michael Cook

Princeton University Press Video Blurb

02:47duration 2 minutes 47 seconds

India e-Summer Seminar Promo Video 2021

14:47duration 14 minutes 47 seconds

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

23:57duration 23 minutes 57 seconds

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

14:41duration 14 minutes 41 seconds

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

30:29duration 30 minutes 29 seconds

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs