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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
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