nunchaku

A counter-example finder for higher-order logic, designed to be used from various proof assistants
Description
Install
Documentation failed to build! Sorry about that.
Published
24 Oct 2018
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