|
|
@@ -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
|
Eric Guirbal