Explore projects
-
Updated
-
Updated
-
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
The ProB Model Checker and Animator Plugin for Rodin
Updated -
Updated
-
Updated
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
Updated
-
Updated
-