Add french course "Preuves de programmes en coq", Bertot

6f88c45d · Eric Guirbal · 7e82dcd2 · 6f88c45d
隐藏空白更改
内联并排

Showing with 1 addition and 0 deletion

free-programming-books-fr.md free-programming-books-fr.md +1 -0

未找到文件。
--- 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