ProB 2 Jupyter Kernel