Search for tag: "
reflexivity
"
1 Media
Sort by
Creation Date - Descending
Alphabetically - A to Z
Alphabetically - Z to A
Creation Date - Ascending
Creation Date - Descending
Update Date - Ascending
Update Date - Descending
Views
Plays
Likes
View
All Media
All Media
Video
Quiz
Audio
Image
Live Events
Interactive Video
17:43
COS510-preview
COS510-preview
COS510-preview
COS510 preview - Software Verification
cos326
length
proof
cons
app
programs
induction
assistant
programming
thing
ocaml
function
theorem
computer
things
machine
reflexivity
append
hypothesis
step
fact
From
Daniel Macleod
0
0 likes
|
141
141 plays
Date
September 16th, 2020
Speaker
Andrew Appel
Department
COS
Location
Princeton NJ