Skip to content
Snippets Groups Projects
Select Git revision
  • c4c4bcd26b556befe63868366a8ff9614dcd49f0
  • master default protected
2 results

prob-teaching-notebooks

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Feature: Ausgabe bei Abbruch des Programms
    Chris authored
    c4c4bcd2
    History
    user avatar c4c4bcd2
    History
    Name Last commit Last update
    binder
    info4
    .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.