How to hack a proof in Coq - Part 0

Tuesday, April 26, 2016 -
12:00pm to 1:00pm
CS 2310

Speaker Name: 

Loris D'Antoni

Speaker Institution: 

University of Wisconsin - Madison




I'll give an introductory tutorial of the Coq proof assistant.

I'll probably cover the first 2 chapters of Software Foundations (in a completely unprepared fashion).

If you want to have more fun:
- Bring your laptop
- Install coq and the coqide beforehand
- Download Software Foundations