Geeks
wadoon
/
smt2key
Translates SMT-lib files to KeY (Theorem Prover) inputs
Primary Language
OCaml
smt2key GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
roundEaredSengi