nunchakuversion
A counter-example finder for higher-order logic, designed to be used from various proof assistants
| Authors | Simon Cruanes and Jasmin Blanchette |
|---|---|
| Published | |
| Homepage | https://github.com/nunchaku-inria/nunchaku/ |
| Issue Tracker | https://github.com/nunchaku-inria/nunchaku/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies | |
| Source [http] | https://github.com/nunchaku-inria/nunchaku/archive/0.6.tar.gz md5=dbe85810b12052207e1b27038be72b8d sha512=f7d009d2bda679a127fca8a6f0432b9188f4622427003aa3600913369af364a64b72547f2002884dff4c89922a6b7209a80947080cbdb2fec81b9f8e65a1bd3f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/nunchaku/nunchaku.0.6/opam |
No package is dependent
