update

kupl · Mar 22, 2024 · 50a0270 · 50a0270
1 parent b160c42
commit 50a0270
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -29,7 +29,7 @@ title = 'COSE419-24S'
 ### Part 2: Program Verification
 - Propositional Logic
     - Slides [lec4.pdf](./slides/lec4.pdf)
-    - Video: [(1)](https://youtu.be/ImigmSCqyUE) 
+    - Video: [(1)](https://youtu.be/ImigmSCqyUE) [(2)](https://youtu.be/-sBjLmDF4Wk)
 
 ### Part 3: Abstract Interpretation