[pl-seminar] Tomorrow's seminar

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Since no-one signed up, tomorrow I'll give an introductory tutorial about 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

- Download software foundations https://www.cis.upenn.edu/~bcpierce/sf/current/index.html

Cheers,

-Loris