Logique et informatique (info-501) : soumission initiale du TP2
L3-info, L3-math-info groupe groupe_1
soumissions désactivées : trop tard
| Cours | info-501, Logique et informatique |
| Groupe de TP | groupe de TP n°groupe_1 (L3-info, L3-math-info) |
| Encadrant de TP | Pierre Hyvernat |
| TP2 | systèmes de preuves, assistants de preuves (lien) |
| Début des soumissions | vendredi 26 septembre à 08:00 |
| Fin des soumissions | vendredi 26 septembre à 12:15 |
| Fin des modifications | dimanche 28 septembre à 23:59 |
| Nombre maximal d'étudiants par soumission | 2 |
| Extensions autorisées | .zip,.tar,.tgz,.gz |
La date limite de soumission de ce TP était le vendredi 26 septembre 2025 à 12:15, nous sommes actuellement le mercredi 26 Novembre 2025 et il est 23:37. Le formulaire est donc désactivé.
