P

prob2-jupyter-kernel

A Java-based Jupyter kernel for ProB 2

Project badgeProject badge