An error occurred while fetching folder content.
Select Git revision
prob2-jupyter-kernel
-
-
- Open in your IDE
- Download source code
Name | Last commit | Last update |
---|
Event-B/Rodin does not support LET like ProB does, so we need to use some workarounds to provide similar functionality in Event-B mode.
Name | Last commit | Last update |
---|---|---|