Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A fragment of "Polyas Open Cred" translated from Kotlin to Java for doing formal program verification. The fragment is most likely not fully functional as simplifying assumptions are made.
-
Project for the WS19/20 NN Praktikum
-
Docker Pets is a simple application that's useful for testing out features of Docker Enterprise Edition.
-
Tools for combining KeY with Joana.
-
-
-
-
-
-
Ein Beispielpflichtenheft für PSE
-
Ein Beispielpflichtenheft für PSE
-
elemental analysis
-
One web interface to rule them all!
-
-
-
Simple installer for feudalClient and feudalAdapterLDF
-
-
-
-