From ee6cfadcd0931cc6f33b41896f0a1dee88687efa Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 12 Feb 2020 13:31:58 +0100
Subject: [PATCH] Add Binder badge

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 54b8abb..16a29be 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 # 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.
 
 **Note:** This project is still in development, features and functionality are not yet stable and may change at any time.
-- 
GitLab