Update README.md

wadoon · web-flow · commit d63ee1df55f4 · 2023-09-15T14:09:36.000+02:00
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 <weigl@kit.edu>*
 
 ## Getting Started to Write

-Original file line number
+Diff line change
@@ @@ -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