Ubuntu

Binary package “libcoq-quickchick” in ubuntu noble

  1. Noble (24.04)
  2. libcoq-quickchick

randomized testing framework for Coq (plugin)

 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.

Source package