Search for tag: "proofs"

India e-Summer Seminar Promo Video 2021

From  Jack Allen 0 likes 33 plays

cos326-2020-08-04-induction-datatypes

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

From  Daniel Macleod 0 likes 182 plays

cos326-2020-08-03-induction-lists

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

From  Daniel Macleod 0 likes 203 plays

cos326-2020-08-02-induction-nats

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

From  Daniel Macleod 0 likes 191 plays

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

From  Daniel Macleod 0 likes 201 plays