Programmation certifiée avancée en Coq

  • les transparents : coq.pdf
  • le squelette d'exercice sur la programmation certifiée d'ensembles finis : set.v

Interprétation abstraite