Add link to pyk docs to ToC page

runtimeverification · Jun 25, 2024 · 82dbca6 · 82dbca6
1 parent 1de58c1
commit 82dbca6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/web/toc.md b/web/toc.md
@@ -17,6 +17,7 @@ output:
 
 - [Homepage](/web/pages/index.md)
 - [Install K](https://github.com/runtimeverification/k/releases/latest)
+- [Pyk Documentation](https://kframework.org/pyk)
 - [K Tutorial](/k-distribution/k-tutorial/README.md)
   - [Section 1: Basic K Concepts](/k-distribution/k-tutorial/1_basic/README.md)
     - [Lesson 1.1: Setting up a K Environment](/k-distribution/k-tutorial/1_basic/01_installing/README.md)