Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)
-
ansible roles for LAS computers
-
A test runner and test cases for MiniJava compilers
-
tests/ folder for MJTest
-
-