Merge branch 'develop' into _update-deps/runtimeverification/hs-backe…

…nd-booster
runtimeverification · Jan 24, 2024 · 59722f0 · 59722f0
2 parents 7f0fdbb + d6aeff9
commit 59722f0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/web/pages/index.md b/web/pages/index.md
@@ -21,6 +21,7 @@ call/cc.
 ## K Tool Download
 
 - Install from the latest [K GitHub Release](https://github.com/runtimeverification/k/releases/latest).
+- Install [pyk](https://github.com/runtimeverification/pyk), K's scripting interface for Python. Check the [API documentation](https://runtimeverification.github.io/pyk/) for a complete reference of supported features.
 - Try our [Editor Support](./editor_support.md) page for links to K syntax highlighting definitions for various popular editors/IDEs. Please feel free to contribute.
 - Build or browse the code [on GitHub](https://github.com/runtimeverification/k), where you can also [report bugs](http://github.com/runtimeverification/k/issues).