Add link to README

runtimeverification · Sep 13, 2022 · c6b6ab8 · c6b6ab8
1 parent 663f280
commit c6b6ab8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -323,6 +323,11 @@ mkShell {
 
 If you change any `pom.xml`, you must run `./nix/update-maven.sh`.
 
+## Installing Python Support
+
+Python tools for K can be found under [runtimeverification/pyk](https://github.com/runtimeverification/pyk).
+
+
 # IDE Setup
 
 ## General