Update README.md

3 years ago · c161aa63fc
parent 3cea70e06f
commit c161aa63fc
1 changed files with 4 additions and 0 deletions
--- a/doc/README.md
+++ b/doc/README.md
@ -8,3 +8,7 @@

 * [Explication du diagrame de classe](./explication_class.md)
 * [Explication du diagrame de cas d'utilisation](./explication_useCase.md)
+
+## Les preuves
+
+* [preuves](./preuves.pdf)