Update index.md

Formal-Systems-Laboratory · Sep 26, 2023 · ed8bdd4 · ed8bdd4
1 parent 2daab30
commit ed8bdd4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md
@@ -87,5 +87,11 @@ Note: See the [abort](https://github.com/runtimeverification/k/tree/master/k-dis
 
 ---
 
+- ***Matching Logic - A Minimal Foundation for Programming Languages***
+  - Optional, but informative.  Matching logic is the logic undelying K.
+  - http://matching-logic.org
+  - [Marktoberdorf Lecture Notes](https://events.model.in.tum.de/mod23/lectures.html)
+
+---
 ... more to come ...
 ---