From 6f88c45d6d526d2f747995b66301bc27265f91ab Mon Sep 17 00:00:00 2001 From: Eric Guirbal Date: Fri, 15 Nov 2013 01:45:15 +0100 Subject: [PATCH] Add french course "Preuves de programmes en coq", Bertot --- free-programming-books-fr.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books-fr.md b/free-programming-books-fr.md index 082fa9500..f66b2d1d2 100644 --- a/free-programming-books-fr.md +++ b/free-programming-books-fr.md @@ -79,6 +79,7 @@ ###Coq * [Le Coq'Art (V8)](http://www.labri.fr/perso/casteran/CoqArt) par Yves Bertot et Pierre Castéran +* [Preuves de programmes en coq](http://fuscia.inrialpes.fr/cours/coq/) par Yves Bertot ###Git