Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

V

general / stups / vorlage

LaTeX-Vorlage für Bachelor und Masterarbeiten.

2

Updated Mar 10, 2023

2 0 0 0

Updated Mar 10, 2023
P

general / stups / ProB 2 Jupyter Kernel

A Java-based Jupyter kernel for ProB 2

0

Updated Feb 24, 2023

0 0 10

Updated Feb 24, 2023
T

general / stups / tla2bAST

0

Updated Feb 15, 2023

0 0 0

Updated Feb 15, 2023
P

general / stups / Prolog mlpack Library

0

Updated Jan 16, 2023

0 0 0 0

Updated Jan 16, 2023
P

general / stups / ProB 2 Documentation

0

Updated Dec 06, 2022

0 0 0 0

Updated Dec 06, 2022
H

Jannik Dunkelau / hhu-beamer-template

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

Topics: latex beamer slides
+ 1 more

2

Updated Jul 07, 2022

2 0 0 0

Updated Jul 07, 2022
T

general / stups / tlc4b

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

0

Updated Mar 29, 2022

0 0 0 0

Updated Mar 29, 2022