package nunchaku

  1. Overview
  2. No Docs
A counter-example finder for higher-order logic, designed to be used from various proof assistants

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. S
    Simon Cruanes
  2. J
    Jasmin Blanchette

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

0.6.tar.gz
md5=dbe85810b12052207e1b27038be72b8d
sha512=f7d009d2bda679a127fca8a6f0432b9188f4622427003aa3600913369af364a64b72547f2002884dff4c89922a6b7209a80947080cbdb2fec81b9f8e65a1bd3f

Description

Published: 24 Oct 2018

Dependencies (8)

  1. ocaml >= "4.02.0"
  2. num
  3. base-threads
  4. base-unix
  5. sequence >= "1.0"
  6. menhir build & <= "20181026"
  7. containers >= "1.0"
  8. jbuilder >= "1.0+beta7"

Dev Dependencies (4)

  1. odoc with-doc
  2. ounit with-test
  3. qcheck with-test
  4. qtest with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct