ProB2 Jupyter Notebooks