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