Skip to content
Snippets Groups Projects
Select Git revision
  • a6cc71d7e687b803008f6af9774af4b22ac1fedf
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

prob_rodin_plugin

  • 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.

    • 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.