Explore projects
-
-
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 -
Project repository for "Artificial Intelligence in Service Systems - Applications in Computer Vision" in the summer term 2022 at KIT.
By: Davinny, Dominik, Kai & Sven
Updated -
zml / interactive-videoplayer
MIT LicenseUpdated -
-
Updated
-
Updated
-
-
ComPlat / Xvial
MIT LicenseUpdated -
-
ufylh / twt aas web gui
MIT LicenseUpdated -
Updated
-
Updated
-
unvhj / Gui
MIT LicenseUpdated -
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