URL
Tutos (vidéo) Coq
Conditions d’achèvement
En complément des tutos fournis, quelques vidéos qui les résument.
Cliquer sur Tutos (vidéo) Coq pour ouvrir la ressource.