Pakiet: libcoq-quickchick (2.1.0-1.1 i inne)

[ Pakiet źródłowy: coq-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.

Inne pakiety związane z libcoq-quickchick

• dep: libcoq-ext-lib-6tpg8 [riscv64]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-ext-lib-9nr75 [arm64]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-ext-lib-besb5 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-ext-lib-gqyi8 [amd64]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-ext-lib-sspa0 [s390x]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-mathcomp-ssreflect-09ud3 [riscv64]

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-5azz0 [arm64]

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-txrp5 [s390x]

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-v1vz2 [amd64]

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-y5hi1 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

• dep: libcoq-simple-io-0jgm5 [arm64]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-simple-io-9w0v4 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-simple-io-ev7y0 [amd64]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-simple-io-q5r10 [riscv64]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-simple-io-ztjx3 [s390x]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-stdlib-awro6 [riscv64]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-jr710 [arm64]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-o9940 [amd64]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-pibk3 [s390x]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-vsu61 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-quickchick

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2.1.0-1.1+b6	3 490,8 KiB	16 190,0 KiB	[lista plików]
arm64	2.1.0-1.1+b6	3 523,8 KiB	17 094,0 KiB	[lista plików]
ppc64el	2.1.0-1.1+b4	3 507,5 KiB	16 882,0 KiB	[lista plików]
riscv64	2.1.0-1.1+b4	3 658,3 KiB	18 914,0 KiB	[lista plików]
s390x	2.1.0-1.1+b4	3 486,9 KiB	16 604,0 KiB	[lista plików]