diff --git a/README.md b/README.md
index c65a79f..ee1f72a 100644
--- 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 <weigl@kit.edu>*
 
 ## Getting Started to Write