- libcoq-ext-lib-vkwj8
- libcoq-mathcomp-ssreflect-ga8c0
- libcoq-simple-io-61f59
- libcoq-stdlib-1ns11
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
.
It includes a foundational verification framework to test
code and a mechanism to automatically derive generators
for inductive relations.
.
Coq is a proof assistant for higher-order logic.
.
This package contains the Coq plugin.
Installed Size: 13.4 MB
Architectures: arm64 amd64