Translates SMT-lib files to KeY (Theorem Prover) inputs
Primary LanguageOCaml
A program to translate smtlib v2 files to the KeY theorem prover.