diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
index c7bde60..ea4d0cd 100644
--- a/content/courses/cose419/2024/_index.md
+++ b/content/courses/cose419/2024/_index.md
@@ -47,6 +47,10 @@ title = 'COSE419-24S'
 - Partial Correctness Proof
     - Slides [lec9.pdf](./slides/lec9.pdf)
     - Video: [(1)](https://youtu.be/LBiAxQOhSeg)
+- Total Correctness Proof
+    - Slides [lec10.pdf](./slides/lec10.pdf)
+    - Video: [(1)]
+
 
 ### Part 3: Static Analysis
 
diff --git a/content/courses/cose419/2024/slides/lec10.pdf b/content/courses/cose419/2024/slides/lec10.pdf
new file mode 100644
index 0000000..50fa4d6
Binary files /dev/null and b/content/courses/cose419/2024/slides/lec10.pdf differ