Paquet : libcoq-quickchick (2.0.2-1 et autres)

[ Paquet source : 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.

Autres paquets associés à libcoq-quickchick

• dep: libcoq-ext-lib-3toz0 [riscv64]

  paquet virtuel fourni par libcoq-ext-lib

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

  paquet virtuel fourni par libcoq-ext-lib

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

  paquet virtuel fourni par libcoq-ext-lib

• dep: libcoq-ext-lib-nf624 [armhf]

  paquet virtuel fourni par libcoq-ext-lib

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

  paquet virtuel fourni par libcoq-ext-lib

• dep: libcoq-ext-lib-qnqn9 [ppc64]

  paquet virtuel fourni par libcoq-ext-lib

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

  paquet virtuel fourni par libcoq-ext-lib

• dep: libcoq-ext-lib-x81b0 [i386]

  paquet virtuel fourni par libcoq-ext-lib

• dep: libcoq-mathcomp-ssreflect-2p885 [riscv64]

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-342a2 [s390x]

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-4a185 [i386]

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-ad5z4 [ppc64]

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

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

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-e7ay1 [arm64]

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

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

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-rr6p1 [armhf]

  paquet virtuel fourni par libcoq-mathcomp-ssreflect

• dep: libcoq-simple-io-0tnl6 [ppc64]

  paquet virtuel fourni par libcoq-simple-io

• dep: libcoq-simple-io-2xt07 [arm64]

  paquet virtuel fourni par libcoq-simple-io

• dep: libcoq-simple-io-fcdq6 [i386]

  paquet virtuel fourni par libcoq-simple-io

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

  paquet virtuel fourni par libcoq-simple-io

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

  paquet virtuel fourni par libcoq-simple-io

• dep: libcoq-simple-io-s3098 [armhf]

  paquet virtuel fourni par libcoq-simple-io

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

  paquet virtuel fourni par libcoq-simple-io

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

  paquet virtuel fourni par libcoq-simple-io

• dep: libcoq-stdlib-84f80 [amd64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-quickchick

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2.0.2-1+b2	1 669,5 ko	7 851,0 ko	[liste des fichiers]
arm64	2.0.2-1+b2	1 696,0 ko	8 315,0 ko	[liste des fichiers]
armhf	2.0.2-1+b2	1 663,4 ko	7 229,0 ko	[liste des fichiers]
i386	2.0.2-1+b2	1 646,4 ko	7 487,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.0-2+b1	1 783,3 ko	8 629,0 ko	[liste des fichiers]
ppc64el	2.0.2-1+b2	1 673,6 ko	8 059,0 ko	[liste des fichiers]
riscv64	2.0.2-1+b2	1 670,4 ko	7 955,0 ko	[liste des fichiers]
s390x	2.0.2-1+b2	1 672,5 ko	8 041,0 ko	[liste des fichiers]