Interactive Theorem Proving Project
CS-642 / 4 crédits
Enseignant: Pit-Claudel Clément
Langue: Anglais
Remark: Doctoral-level alternative to CS-428 Interactive Theorem Proving
Frequency
Every year
Content
Dans les plans d'études
- Forme de l'examen: Multiple (session libre)
- Matière examinée: Interactive Theorem Proving Project
- Cours: 2 Heure(s)
- Projet: 70 Heure(s)
- TP: 40 Heure(s)
- Type: optionnel