Search for tag: "foo"

Thumbnail for entry cos326-2020-08-01-simple-proofs

cos326-2020-08-01-simple-proofs

duration 30 minutes 29 seconds

cos326-2020-08-01-simple-proofs

cos326-2020-08-01-simple-proofs

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

cos326
expression
side
function
hand
proof
expressions
programs
times
principle
proofs
step
e2
equals
evaluation
loop
words
equation
foo
exception
functions
From  Daniel Macleod 0 likes 201 plays
Date
August 12th, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ