Update README.md

KeYProject · Sep 15, 2023 · d63ee1d · d63ee1d
1 parent 17f0517
commit d63ee1d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # key-docs
 
+Documentation to the [KeY Theorem Prover](https://github.com/keyproject/key).
+
 *Author: Alexander Weigl <[email protected]>*
 
 ## Getting Started to Write