Skip to content

GitLab

P
ProofScriptParser
Last edited by sarah.grebing
Page history
This is an old version of this page. You can view the most recent version or browse the history.

language description

This proof scripting language is suitable for interactive program verification.