A counter-example finder for higher-order logic, designed to be used from various proof assistants
Description

A counter-example finder for higher-order logic, designed to be used from various proof assistants

Install

Published

24 Oct 2018

Authors

Maintainers

Sources

0.6.tar.gz
md5=dbe85810b12052207e1b27038be72b8d sha512=f7d009d2bda679a127fca8a6f0432b9188f4622427003aa3600913369af364a64b72547f2002884dff4c89922a6b7209a80947080cbdb2fec81b9f8e65a1bd3f

Dependencies

ocaml >= "4.02.0"
odoc with-doc
ounit with-test
qcheck with-test
qtest with-test
sequence >= "1.0"
menhir build & <= "20181026"
containers >= "1.0"
jbuilder >= "1.0+beta7"

Reverse Dependencies

None

Conflicts

None