smt2key

A program to translate smtlib v2 files to the KeY theorem prover.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.github/workflows		.github/workflows
bin		bin
test		test
.ocamlformat		.ocamlformat
README.md		README.md
dune-project		dune-project
smt2key.opam		smt2key.opam

Provide feedback