README.md 940 Bytes
Newer Older
Michael Leuschel's avatar
Michael Leuschel committed
1
[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master)
Michael Leuschel's avatar
Michael Leuschel committed
2
3
# Various Notebooks for Teaching

4
5
6
7
8
9
10
11
These notebooks are made for the [ProB Jupyter kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel).
[ProB](https://www3.hhu.de/stups/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](https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen.html) of the [University of Düsseldorf](https://www.uni-duesseldorf.de).

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.