nunchakuversion

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

AuthorsSimon Cruanes and Jasmin Blanchette
Published
Homepagehttps://github.com/nunchaku-inria/nunchaku/
Issue Trackerhttps://github.com/nunchaku-inria/nunchaku/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/nunchaku-inria/nunchaku/archive/0.6.tar.gz
md5=dbe85810b12052207e1b27038be72b8d
sha512=f7d009d2bda679a127fca8a6f0432b9188f4622427003aa3600913369af364a64b72547f2002884dff4c89922a6b7209a80947080cbdb2fec81b9f8e65a1bd3f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/nunchaku/nunchaku.0.6/opam
No package is dependent