update

kupl · Apr 12, 2024 · 64dafdc · 64dafdc
1 parent ff720e0
commit 64dafdc
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
@@ -35,7 +35,7 @@ title = 'COSE419-24S'
     - Video: [(1)](https://youtu.be/hyebtnoNvrE) [(2)](https://youtu.be/AcWXRPhsL7E) [(3)](https://youtu.be/yhgecAwoSz0)
 - First-order Logic
     - Slides [lec6.pdf](./slides/lec6.pdf)
-    - Video: [(1)](https://youtu.be/k6WBwBETWBU)
+    - Video: [(1)](https://youtu.be/k6WBwBETWBU) [(2)](https://youtu.be/rJ0R_MU_pt0)
 
 ### Part 3: Abstract Interpretation