- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Nunchaku is a counter-example finder for higher-order logic, designed to be used from various proof assistants, and a spiritual successor to Nitpick. It relies encodings and external solvers (CVC4, kodkod, paradox) to find models, thanks to its modular architecture.