Translates SMT-lib files to KeY (Theorem Prover) inputs
Primary LanguageOCaml
No issues in this repository yet.