Explore projects

LaTeX-Vorlage für Bachelor und Masterarbeiten.

Bachelor's thesis project Mario Surleont

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

Modified version of the TLA+ tools for usage in ProB