En relation avec le sujet du cours

Programmer avec Coq : récursion et filtrage dépendant