From 62b5b0274ab875e35130a35739277d752bbefc62 Mon Sep 17 00:00:00 2001
From: martian2001 <46631480+martian2001@users.noreply.github.com>
Date: Sun, 20 Oct 2024 05:29:00 +0530
Subject: [PATCH] Update free-programming-books-subjects.md (#11612)

---
 books/free-programming-books-subjects.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/books/free-programming-books-subjects.md b/books/free-programming-books-subjects.md
index c12457e98..47b240b44 100644
--- a/books/free-programming-books-subjects.md
+++ b/books/free-programming-books-subjects.md
@@ -595,6 +595,7 @@ Books that cover a specific programming language can be found in the [BY PROGRAM
 * [Graph Theory Exercises](https://www.ime.usp.br/~pf/graph-exercises/) - Paulo Feofiloff (PDF)
 * [Isomorphism -- Mathematics of Programming](https://github.com/liuxinyu95/unplugged) - Larry LIU Xinyu
 * [Mathematics for Computer Science](https://courses.csail.mit.edu/6.042/spring18/mcs.pdf) - Eric Lehman, F. Thomson Leighton, Albert R. Meyer (PDF)
+* [PROGRAM = PROOF](https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf) - Samuel Mimram (PDF)
 
 
 ### Misc