A Java-based Jupyter kernel for ProB 2
LaTeX-Vorlage für Bachelor und Masterarbeiten.
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.