Skip to content
Snippets Groups Projects
Select Git revision
6 results

prob2-jupyter-kernel

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    dgelessus authored
    Now that ProB supports reals, an expression like x>y is no longer
    sufficient to infer that x and y are integers.
    d2d85b8b
    History
    Name Last commit Last update