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

Repository files navigation

smt2key

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

About

Translates SMT-lib files to KeY (Theorem Prover) inputs

1 star

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages