Skip to content
Snippets Groups Projects
Select Git revision
  • d7c9a23df952e03372b5b0e2be1b6d9c286ec3fd
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
10 results

prob2-jupyter-kernel

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    dgelessus authored
    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.
    d7c9a23d
    History
    Name Last commit Last update