21:12
cos326-2020-10-01-generalized-induction-hyps
Generalizing Your Inductive Hypothesis
14:47
cos326-2020-08-04-induction-datatypes
Did I Get it Right? Part 4: Induction for Datatypes
01:27:02
SOS16March2019_YReinfelder
© 2020 The Trustees of Princeton University Video Production Support | 87 Prospect Ave. | Princeton, NJ 08544 | 609.258.7872 | mediacentral@princeton.edu