diff --git a/README.md b/README.md index 4259d19c9..ffcc3bc5c 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ Storm ============================== -For more instructions, check out the documentation found in [Getting Started](doc/getting-started.md) +For more instructions, check out the documentation found in [Getting Started](https://moves-rwth.github.io/storm/getting-started.html) Benchmarks