diff --git a/doc/source/doc/building_models.ipynb b/doc/source/doc/building_models.ipynb index 0901a47..4d018e1 100644 --- a/doc/source/doc/building_models.ipynb +++ b/doc/source/doc/building_models.ipynb @@ -7,6 +7,13 @@ "# Building Models" ] }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/m-hannah/stormpy/master?filepath=notebooks%2Fbuilding_models.ipynb)" + ] + }, { "cell_type": "markdown", "metadata": {},