Explore projects
-
Updated
-
-
sarah.grebing / ProofScriptParser
GNU General Public License v3.0 onlyGrammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)
Updated -
Updated
-
qa2270 / mjis-mirror
MIT LicenseUpdated -
-
UpdatedUpdated
-
HGF SG coupling / couplingSG
Eclipse Public License 2.0Updated -
Updated
-
This project simplifies testing Assignments from the course Programming 1 at KIT
Dieses Projekt vereinfacht das Testen von Programmieren 1 Übungs- und Abschlussaufgaben
Updated -
Updated
-
-
Updated
-
fp2188 / ProofScriptParser
GNU General Public License v3.0 onlyGrammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org). Fork of Sarah Grebing's work.
Updated -
Updated
-
Updated
-
Updated
-
-
Normalizes Java-Lambda-Expressions into Inner Classes; Translated Lambda-Expression JML Contracts into corresponding model methods
Updated