Programme de l’UE :
- Preuve interactive
Système Coq
Types dépendants
Polymorphisme
Arithmétique - Preuve automatique
Calcul des séquents
Résolution
Théories décidables
Lien vers la page www du cours.
Intervenants
- Colin Riba, MdC ENS Lyon
- ..
Lien vers la page www du cours.