The Coq Proof Assistant

In this workshop, Boris Masiar Djalal will give a presentation at the beginning of the first session, and then the participants will follow the very beginning of this book and try some code.

It will be convenient to bring a computer with a web browser such as Firefox or Google Chrome.

This is the first session in a series of workshops. The following workshops will take place 07.09 and 14.09 (last session) from 14:15 to 16:00 in Lite auditorium. It is necessary to attend the first session on 31.08 to be able to follow the second one on 07.09, and so on.

Everyone is welcome.