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