Skip to content
Snippets Groups Projects
Commit ee6cfadc authored by dgelessus's avatar dgelessus
Browse files

Add Binder badge

parent 885218ac
Branches
Tags
No related merge requests found
# ProB 2 Jupyter Kernel # ProB 2 Jupyter Kernel
[![Binder](https://mybinder.org/badge_logo.svg)](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. 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. **Note:** This project is still in development, features and functionality are not yet stable and may change at any time.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment