パッケージ: libcoq-quickchick (2.1.0-1 など)

libcoq-quickchick に関するリンク

Debian の資源:

coq-quickchick ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

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.

その他の libcoq-quickchick 関連パッケージ

依存

推奨

提案

enhances

dep: libcoq-ext-lib-2c869 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-ext-lib
dep: libcoq-ext-lib-hjs39 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-ext-lib
dep: libcoq-ext-lib-lsco6 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-ext-lib
dep: libcoq-ext-lib-vkwj8 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-ext-lib
dep: libcoq-ext-lib-xazg3 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libcoq-ext-lib
dep: libcoq-mathcomp-ssreflect-94jc7 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-e2in1 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-k3vi6 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-s80j3 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-vnmq3 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-simple-io-61f59 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-simple-io
dep: libcoq-simple-io-736s6 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-simple-io
dep: libcoq-simple-io-tlq86 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-simple-io
dep: libcoq-simple-io-vjf29 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-simple-io
dep: libcoq-simple-io-vmbq1 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libcoq-simple-io
dep: libcoq-stdlib-1ns11 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib

libcoq-quickchick のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	2.1.0-1+b3	4,153.7 kB	12,357.0 kB	[ファイル一覧]
arm64	2.1.0-1+b3	4,163.5 kB	13,104.0 kB	[ファイル一覧]
ppc64el	2.1.0-1+b3	4,165.8 kB	13,044.0 kB	[ファイル一覧]
riscv64	2.1.0-1+b2	4,314.8 kB	15,078.0 kB	[ファイル一覧]
s390x	2.1.0-1+b3	4,134.6 kB	12,580.0 kB	[ファイル一覧]