パッケージ: libcoq-stdpp (1.12.0-1 など)

[ ソース: coq-stdpp  ]

試験的な (experimental の) パッケージ

警告: このパッケージは experimental ディストリビューションのものです。つまり、おそらく不安定でバグがあり、それどころかデータの損失を起こすかもしれません。使用前には、変更履歴やその他の参照可能なドキュメントを必ず調べてください。

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance:

 - a great number of definitions and lemmas for common data

structures like lists, finite maps and finite multisets ;

 - type classes for common properties like decidable equality,

finiteness or countability ;

 - various tactics for common tasks ;

all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

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

• dep: libcoq-stdlib-axno0 [riscv64]

  パッケージは利用できません

• dep: libcoq-stdlib-bnji8 [s390x]

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

• dep: libcoq-stdlib-k2hb6 [i386]

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

• dep: libcoq-stdlib-o9940 [amd64]

  パッケージは利用できません

• dep: libcoq-stdlib-q4wc6 [arm64]

  パッケージは利用できません

• dep: libcoq-stdlib-ulym1 [sparc64]

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

• dep: libcoq-stdlib-xsyt0 [ppc64el]

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

• dep: libcoq-stdlib-yjz54 [armhf]

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

libcoq-stdpp のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	1.12.0-1+b5	4,793.4 kB	16,960.0 kB	[ファイル一覧]
arm64	1.12.0-1+b2	4,871.1 kB	17,286.0 kB	[ファイル一覧]
armhf	1.12.0-1	4,870.4 kB	17,242.0 kB	[ファイル一覧]
i386	1.12.0-1	4,869.0 kB	17,242.0 kB	[ファイル一覧]
ppc64el	1.12.0-1+b2	4,870.8 kB	17,286.0 kB	[ファイル一覧]
riscv64	1.12.0-1+b1	4,870.6 kB	17,286.0 kB	[ファイル一覧]
s390x	1.12.0-1+b1	4,871.6 kB	17,286.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	1.12.0-1	4,871.4 kB	17,285.0 kB	[ファイル一覧]