Initiation aux preuves formelles 2025 (en cours)
Fichiers (en cours de modification) pour le cours d'initiation aux
preuves formelles en L1 double-licence mathématiques et informatique
(premier semestre) pour l'année 2025 - 2026.
- Semaine 1 (9 septembre)
- Semaine 2 (16 septembre)
- Semaine 3 (23 septembre)
- Semaine 4 (30 septembre)
- Devoir d'Octobre
À rendre sur moodle avant dimanche 12 octobre à 23h59
- Semaine 5 (7 octobre)