diff --git a/README.md b/README.md index 54b8abb291c39fcb6e3399d095f5b90f1b5881c9..16a29bec1ea1b9ee45ab3b26438bd041fe31e92a 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # ProB 2 Jupyter Kernel +[](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fdgelessus%2Fprob2-jupyter-kernel.git/master?filepath=notebooks) + This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and model checker](https://www3.hhu.de/stups/prob/), based on the [ProB 2 Java API](https://github.com/bendisposto/prob2) and the [Jupyter JVM BaseKernel](https://github.com/SpencerPark/jupyter-jvm-basekernel) library. **Note:** This project is still in development, features and functionality are not yet stable and may change at any time.