Search for tag: "induction"

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 144 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

From  Daniel Macleod 0 likes 224 plays

cos326-2020-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

From  Daniel Macleod 0 likes 156 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-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 212 plays

GSS_13Aug2018_FEbrahimi

From  PPPL Admins 0 likes 42 plays