P

ProofScriptParser

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