Update _index.md

kupl · Apr 18, 2024 · dc44d1d · dc44d1d
1 parent da27827
commit dc44d1d
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
@@ -38,7 +38,7 @@ title = 'COSE419-24S'
     - Video: [(1)](https://youtu.be/k6WBwBETWBU) [(2)](https://youtu.be/rJ0R_MU_pt0)
 - First-order Theories
     - Slides [lec7.pdf](./slides/lec7.pdf)
-    - Video: 
+    - Video: [(1)](https://youtu.be/5jWD2H44u7A) [(2)](https://youtu.be/gV9IZ5Zuuc8) 
 
 
 ### Part 3: Abstract Interpretation