UE MU5IN554 -- SVP

Documents de cours

• Notes de cours: Coq: initiation
• Visio 3 nov.: L'art de la spécification avec un exemple

Pour les TME

• TME 01
• TME 03 (source coq à compléter)
• listes d'association (source)
  listes d'association (vu en cours)
• Fonctions récursives - Terminaison le PDF et le source Coq
• préfixe (séance du 15 déc.)

Semainier

• 6 oct : Coq init
• 13 oct : Coq init
• 20 oct : Coq init
• 27 oct : Coq init
• 3 nov : Coq prefix
• 10 nov : relâche
• 17 nov : Coq assoc, aset
• 24 nov : ...
• 1er déc : examen 1 (Coq init sur machine)
• 8 déc : atelier B
• 15 déc : atelier B
• 24 déc : vacances
• 29 déc : vacances
• 5 jan : Coq continued
• 12 jan : Coq continued
• 19 jan : Coq continued
• 26 jan : Coq continued
• 2 fév : Coq continued
• 9 fév : relâche
• 16 fév : examen 2