package coq-smt-check
Invoke SMT solvers to check goals
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.0.tar.gz
md5=38b70fb0b30f9aa09c71af33d4f2d361
Description
Dependencies (3)
-
coq-plugin-utils
>= "1.1.0" & < "2.0.0" -
coq
>= "8.5" & < "8.6~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page