Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content
P

ProofScriptParser

Project ID: 2683

Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)