From 7e82dcd2183e67e7c83863c4fe8f0d28e2cf1156 Mon Sep 17 00:00:00 2001 From: Eric Guirbal Date: Thu, 14 Nov 2013 22:44:36 +0100 Subject: [PATCH] =?UTF-8?q?Add=20french=20book=20"Le=20Coq'=20Art=20(V8)",?= =?UTF-8?q?=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 78b065ba..082fa950 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 -- GitLab