diff --git a/README.md b/README.md
index 5a5d6f8996bc9f85a708fa745f429ab363876b43..20dd45b8c88b5442f574fbaa3815283885a18834 100644
--- a/README.md
+++ b/README.md
@@ -59,7 +59,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
 |      |     |            |   |   | Reading:                       | HandMC-Ch.10  |
 |      |     |            |   |   | Follow:                        | [Stainless Tutorial Videos](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_t2ld6vzn/0_azxgetu9) and [materials](https://epfl-lara.github.io/asplos2022tutorial/)  |
 |      | Fri | 13.09.2024 | 13:15 | [INR219](https://plan.epfl.ch/?room==INR%20219) | [Lecture 3](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_tv48ew7w)                       | [What is a Formal Proof?](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_tv48ew7w) and [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) |
-| 2    | Thu | 19.09.2024 | 15:15 | GRA330 | [Lecture 4](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_1c4580tg/0_lovmc46b) | continue [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) [PDF]() and  |
+| 2    | Thu | 19.09.2024 | 15:15 | GRA330 | [Lecture 4](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_1c4580tg/0_lovmc46b) [PDF](lectures/prop-resolution.pdf) | continue [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) |
 |      |     |            | 17:15 | GRA330 | [Lab 1](labs/lab1/README.md) | |
 |      | Fri | 20.09.2024 | 13:15 | INR219 | [Exercises 1](exercises/Exercises1) | Propositional Logic |
 |      |     |            |   |   | Reading:                       | CalComp-Ch.1 ∨ HandAR-Ch.2 |
@@ -69,7 +69,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
 | 4    | Thu | 03.10.2024 | 15:15 | GRA330 | | |
 |      |     |            | 17:15 | GRA330 | | |
 |      | Fri | 04.10.2024 | 13:15 | INR219 | | |
-| 5    | Thu | 10.10.2024 | 15:15 | GRA330 | | |
+| 5    | Thu | 10.10.2024 | 15:15 | GRA330 | | | 
 |      |     |            | 17:15 | GRA330 | | |
 |      | Fri | 11.10.2024 | 13:15 | INR219 | | |
 | 6    | Thu | 17.10.2024 | 15:15 | GRA330 | | |