Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Updated
-
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.
Updated -
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated