nunchaku
A counter-example finder for higher-order logic, designed to be used from various proof assistants
- Category
- OCaml packages
Official docs outline
github.comExtra Credit builds an outline of nunchaku's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500- dokeysto The dumb OCaml key-value store
- travis-opam Scripts for OCaml projects
- noise An OCaml implementation of the Noise Protocol Framework (rev 34)
- solo5-bindings-spt Solo5 sandboxed execution environment (spt target)
- search Simple, in-memory search library in pure OCaml
- ppx_typed_fields GADT-based field accessors and utilities
- lpd A Line Printer Daemon (LPD) server library written entirely in OCaml.
- mnotty Declaring terminals with Miou
- pplumbing-pp-tty Build pretty printed documents for the user with [pp]
- zarr-eio Eio-aware API for Zarr
- sociaml-vcard vCard library for OCaml
- ppx_format Interpolate format strings