Update _index.md

kupl · May 9, 2024 · 1161892 · 1161892
1 parent a41fd83
commit 1161892
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -46,10 +46,10 @@ title = 'COSE419-24S'
     - Video: [(1)](https://youtu.be/qQh5UvtETuo) [(2)](https://youtu.be/nTDGG32NGiY)
 - Partial Correctness Proof
     - Slides [lec9.pdf](./slides/lec9.pdf)
-    - Video: [(1)](https://youtu.be/LBiAxQOhSeg)
+    - Video: [(1)](https://youtu.be/LBiAxQOhSeg) [(2)](https://youtu.be/wdK23RX3L6E)
 - Total Correctness Proof
     - Slides [lec10.pdf](./slides/lec10.pdf)
-    - Video: [(1)]
+    - Video: [(1)](https://youtu.be/TLKScRNs9Mw)
 
 
 ### Part 3: Static Analysis