Attention, ce cours est maintenant assuré par Alexis Saurin. La page ci-dessous concerne l'ancienne version du cours.
Les notes de cours.
Mercredi 13h45-18h00 en salle 2018 (cours) puis 2006 (TP). Début le 14 septembre 2022, fin en décembre. Attention, ni cours ni TP le 2 novembre, remplacé par une dernière séance le 7 décembre.
Partie I : programmation fonctionnelle en Coq, Notes de cours et sujets de TD.
Partie II : preuves formelles en Coq, Notes de cours et sujets de TD.
Date limite : 1er février 2023.
Au choix, un des sujets suivants, ou bien votre proposition personnalisée (me contacter pour accord d'ici la fin du cours):
cours de 2015-2017 (en OCaml).