From 7e82dcd2183e67e7c83863c4fe8f0d28e2cf1156 Mon Sep 17 00:00:00 2001 From: Eric Guirbal Date: Thu, 14 Nov 2013 22:44:36 +0100 Subject: [PATCH 1/2] =?UTF-8?q?Add=20french=20book=20"Le=20Coq'=20Art=20(V?= =?UTF-8?q?8)",=20Bertot=20&=20Cast=C3=A9ran?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- free-programming-books-fr.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/free-programming-books-fr.md b/free-programming-books-fr.md index 78b065bae..082fa9500 100644 --- a/free-programming-books-fr.md +++ b/free-programming-books-fr.md @@ -4,6 +4,7 @@ * [Assembleur](#assembleur) * [Caml](#caml) * [C / C++](#c--c) +* [Coq](#coq) * [Git](#git) * [Haskell](#haskell) * [Java](#java) @@ -75,6 +76,10 @@ * [Introduction à la rétro-ingénierie de binaires](http://progdupeu.pl/articles/45/introduction-a-la-retro-ingenierie-de-binaires), à partir de code C compilé pour x86. * [Programmation en C](https://www.rocq.inria.fr/secret/Matthieu.Finiasz/teaching/ENSTA/IN101%20-%20poly%20C.pdf) par Pierre-Alain Fouque et David Pointcheval +###Coq + +* [Le Coq'Art (V8)](http://www.labri.fr/perso/casteran/CoqArt) par Yves Bertot et Pierre Castéran + ###Git * [Git Magic](http://www-cs-students.stanford.edu/~blynn/gitmagic/intl/fr/) par par Alexandre Garel, Paul Gaborit et Nicolas Deram From 6f88c45d6d526d2f747995b66301bc27265f91ab Mon Sep 17 00:00:00 2001 From: Eric Guirbal Date: Fri, 15 Nov 2013 01:45:15 +0100 Subject: [PATCH 2/2] 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