URL
Tutos (vidéo) Coq
Completion requirements
En complément des tutos fournis, quelques vidéos qui les résument.
Click on Tutos (vidéo) Coq to open the resource.