diff --git a/README.md b/README.md
index ba6c576d1b8f25a244a9e6b20dcd464b3b46e3d9..99e2206075b5983b44a44380d99a56bb93233c9b 100644
--- a/README.md
+++ b/README.md
@@ -89,7 +89,7 @@ In the reading list below, HandAR-Ch.2 means Chapter 2 in the Handbook of Practi
 |       | Fri | 01.12.2023 | 13:15 | INR219 | Lecture |  [Approximating Loops. Recursion 1](https://tube.switch.ch/videos/xCQoLRTGKq), [Recursion 2](https://tube.switch.ch/videos/NjerTXfE9z), [Termination](lectures/termination.pdf) |
 | 12    | Thu | 07.12.2023 | 15:15 | GRA330 | Labs | Project discussions with course staff |
 |       |     |            | 17:15 | GRA330 | Labs | Project discussions with course staff |
-|       | Fri | 08.12.2023 | 13:15 | INR219 | Lecture | [SMT Solvers](https://tube.switch.ch/videos/CDDwI5RZD0), Tableau-Based Theorem Proving (by Simon)
+|       | Fri | 08.12.2023 | 13:15 | INR219 | Lecture | [SMT Solvers](https://tube.switch.ch/videos/CDDwI5RZD0), [Tableau-Based Theorem Proving](lectures/Lecture_on_Tableau-1.pdf) (by Simon)
 | 13    | Thu | 14.12.2023 | 15:15 | GRA330 | Lecture | Guest lecture by [Prof. Thomas Bourgeat](https://people.epfl.ch/thomas.bourgeat) |
 |       |     |            | 17:15 | GRA330 | Labs |  |
 |       | Fri | 15.12.2023 | 13:15 | INR219 | Project Presentations |  |