Paket: quickchick (2.0.2-1 och andra)

[ Källkod: coq-quickchick  ]

randomized testing framework for Coq (tools)

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 tools.

Andra paket besläktade med quickchick

• dep: ocaml-base

  Runtime system for OCaml bytecode executables

  eller ocaml

  ML language implementation with a class-based object system

Hämta quickchick

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
ppc64el	2.0.2-1+b1	57,4 kbyte	373,0 kbyte	[filförteckning]