Une introduction à Coq

Ressources

Tutoriel

Cours

Exercices

Documents rédigés par Christine Tasson

  1. TP1 : énoncé, squelette
    Indications :
  2. TP2 : énoncé, squelette
    Indications :
  3. TP3 : énoncé, squelette
    Indications :
  4. TP4 : énoncé (envisager de faire le TP5 avant)
  5. TP5 : énoncé (remplacer Omega par Lia lors de l'import des bibliothèques)

Documents rédigés par Christine Paulin

  1. Mini Guide Coq
  2. TP1 : énoncé, squelette
  3. TP2 : énoncé, squelette
  4. TP3 : énoncé, squelette
  5. TP4 : énoncé, squelette

L'ouvrage Logical Foundations

Les trois premiers chapitres de Logical Foundations (Benjamin Pierce et al.) de la série Software Foundations, traduits en français par Tom Hirschowitz.
  1. Les bases, squelette
  2. L'induction, squelette
  3. Les structures de données, squelette

Valid XHTML 1.0 Transitional