diff --git a/README.md b/README.md index 6539bf4..7fed50f 100644 --- a/README.md +++ b/README.md @@ -1,13 +1,13 @@ Stormpy - Python bindings for Storm -======================================= +=================================== -Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/) +Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/). ### Dependencies -Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/) +Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/). ### Authors -- Matthias Volk - Sebastian Junges +- Matthias Volk \ No newline at end of file