Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 7, 2023 · d04d831 · d04d831
2 parents 420f177 + 04ebf03
commit d04d831
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/web/pages/index.md b/web/pages/index.md
@@ -40,6 +40,7 @@ call/cc.
 
 ## Resources
 
+- K Approach and Vision: [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
 - A set of <a href="/k-distribution/pl-tutorial/README.md">reference implementations and tutorials</a> for common programming language features and paradigms is available, although parts of these implementations may not be fully up to date with modern K features.
 - Read some papers about K on the [Formal Systems Laboratory (FSL)](https://fsl.cs.illinois.edu/publications/).
 - [Matching logic](http://matching-logic.org/) webpage at UIUC (USA).