P

ProB 2 Jupyter Kernel

A Java-based Jupyter kernel for ProB 2

Project badgeProject badge