Skip to content
Snippets Groups Projects
Select Git revision
6 results

prob2-jupyter-kernel

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Fix type errors in tests/chr_tests.ipynb
    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
    user avatar d2d85b8b
    History
    Name Last commit Last update