Assistants de preuves
Infos
Enseignants : Yannick Forster et Théo Winterhalter
Salle : 1002 in Bâtiment Sophie Germain
Heure : Lundi de 8h45 à 11h45
Évaluation
1/2 Projet + 1/2 Examen
Informations :
- Projet : En Coq 8.16.1 RESPECTER la version (pas besoin des modules sauf pour les questions bonus).
Publié le 09/10/23, à rendre pour le 20/11/23 à 21h00. Lien ICI. Consiste en trois exercices à rendre et un pdf ou expliquant ce qui est fait. Toutes les connaissances pour l'exercice 1 sont déjà données au cours 4. Celles pour le reste le sont au cours 5.
- Examen : probablement le 27 Novembre de 08h45 à 11h45. Droit à une feuille A4 manuscrite recto verso.
Contenu
Cours 1
Cours
TD
Cours 2
Cours
- Pas de slides.
TD
Exercices avancés
Cours 3
Cours
TD
Autres
Cours 4
Cours
TD