Re: [pl-seminar] Tomorrow's seminar

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

I noticed on the calendar that the room is different than usual.

The seminar will be in 2310 instead of 4310.

On Mon, Apr 25, 2016 at 6:49 PM, Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

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