Exos Coq

Quelques tactiques de Coq, PDF (Joe Redmon).
En plus fourni, la Coq Tactics Cheatsheet.

Documents rédigés par Christine Tasson

  1. TP1 : énoncé, squelette
    Indications :
  2. TP2 : énoncé, squelette
    Indications :
  3. TP3 : énoncé, squelette
  4. TP4 : énoncé
  5. TP5 : énoncé

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