Bonjour, Ce vendredi, 20 mars 2015 à 10h en salle B107, nous continuerons notre groupe de travail sur Coq avec une séance "collective" dont l'objectif est de faire (au moins) le premier excercice du TP 1 de Micaela (https://lipn.univ-paris13.fr/~mayero/Coq_TP1.pdf). La présence de Coq installé sur vos ordinateurs portables est souhaitable. Nous terminerons avant 11h (horaire de début du séminaire). Amicalement, Damiano