Pakiet: libcoq-quickchick (2.1.1-2 i inne)

[ Pakiet źródłowy: coq-quickchick  ]

Pakiet eksperymentalny

Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.

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-284g2 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-ext-lib-4x324 [amd64]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-ext-lib-lpld3 [arm64]

  pakiet wirtualny udostępniany przez libcoq-ext-lib

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

  pakiet wirtualny udostępniany przez libcoq-ext-lib

• dep: libcoq-mathcomp-ssreflect-158x2 [arm64]

  Pakiet niedostępny

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

• dep: libcoq-simple-io-8sg72 [s390x]

  pakiet wirtualny udostępniany przez libcoq-simple-io

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

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-simple-io-snv86 [arm64]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-simple-io-trzf5 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-simple-io

• dep: libcoq-stdlib-bnji8 [s390x]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-h7bl4 [amd64]

  Pakiet niedostępny

• dep: libcoq-stdlib-q4wc6 [arm64]

  Pakiet niedostępny

• dep: libcoq-stdlib-xsyt0 [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.1-2+b1	3 438,2 KiB	16 136,0 KiB	[lista plików]
arm64	2.1.1-2	3 468,7 KiB	17 039,0 KiB	[lista plików]
ppc64el	2.1.1-2	3 450,0 KiB	16 825,0 KiB	[lista plików]
s390x	2.1.1-2	3 433,5 KiB	16 558,0 KiB	[lista plików]