Informations générales
La mailing-liste de ce cours est :
. Le cours se déroule le mercredi de 14h30 à 18h30 en salle 447C.
Il sera co-encadré par Thibaut Balabonski et Yann Régis-Gianas.
Projet
Le sujet.
Cours introductif
Les transparents de
l'introduction et de
la présentation rapide de Coq
Travaux dirigés 1 : Premiers pas en Coq
Le sujet
Travaux dirigés 2 : Entiers naturels
Le sujet
Travaux dirigés 3 : Définitions inductives en Coq
Le sujet
Travaux dirigés 4 : Arbres binaires de recherche
Le sujet
Travaux dirigés 5 : Fonctions partielles en Coq
Le sujet
Travaux dirigés 6 : Logique de Hoare
Le sujet de TD sur papier
et
Le sujet de TD sur Why