Pakiet: quickchick (2.0.3-2 i inne)

Odnośniki dla quickchick

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.

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2.0.3-2	401,5 KiB	1 504,0 KiB	[lista plików]
arm64	2.0.3-2	445,5 KiB	1 772,0 KiB	[lista plików]
armhf	2.0.2-1+b2	57,4 KiB	373,0 KiB	[lista plików]
i386	2.0.3-2	393,5 KiB	1 338,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	2.0-2+b1	55,3 KiB	355,0 KiB	[lista plików]
ppc64el	2.0.3-2	422,1 KiB	1 708,0 KiB	[lista plików]
riscv64	2.0.3-2	410,2 KiB	1 544,0 KiB	[lista plików]
s390x	2.0.2-1+b2	57,3 KiB	373,0 KiB	[lista plików]