Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Something went wrong
An error occurred, please try again later.
Try again
COS510-preview
From
Daniel Macleod
September 16th, 2020
0 likes
0
147 plays
147
You unliked the media.
Related Media
Loading…
Details
Details
.
.
.
Details
.
.
.
Back
COS510 preview - Software Verification
Tags
cos326
length
proof
cons
app
programs
induction
assistant
programming
thing
ocaml
function
theorem
computer
things
machine
reflexivity
append
hypothesis
step
fact
Looking for more...
Related Media
Loading…
