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.
  1. Semaine 1 (9 septembre)
  2. Semaine 2 (16 septembre)
  3. Semaine 3 (23 septembre)
  4. Semaine 4 (30 septembre)
  5. Devoir d'Octobre
  6. À rendre sur moodle avant dimanche 12 octobre à 23h59
  7. Semaine 5 (7 octobre)