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

Cookies: 

No

Description: 

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 https://coq.inria.fr/download beforehand
- Download Software Foundations https://www.cis.upenn.edu/~bcpierce/sf/current/index.html