Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result

prob-teaching-notebooks

  • Clone with SSH
  • Clone with HTTPS
    • Name Last commit Last update
    binder
    info4
    logic_programming
    sks
    .gitignore
    README.md
    README.md

    Binder

    Various Notebooks for Teaching

    These notebooks are made for the ProB Jupyter kernel. ProB is a validation tool for formal methods, in particular for the B method. At its heart is a constraint solver for logic, set theory and arithmetic.

    These notebooks were developed by the STUPS group of the University of Düsseldorf.

    To view the formatted output of ProB you may have to click in the upper right corner on "Not Trusted". Once a notebook is trusted, JavaScript is enabled and can render formulas, tables and figures.