package coq-smt-check

  1. Overview
  2. No Docs
Invoke SMT solvers to check goals

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. G
    Gregory Malecha

Maintainers

  1. G
    gmalecha@gmail.com

Sources

v2.0.0.tar.gz
md5=38b70fb0b30f9aa09c71af33d4f2d361

Description

Tags

logpath:SMT

Published: 19 Mar 2016

Dependencies (3)

  1. coq-plugin-utils >= "1.1.0" & < "2.0.0"
  2. coq >= "8.5" & < "8.6~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None