パッケージ: libcoq-extructures (0.5.0-1 など)

libcoq-extructures に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

data structures with extensional reasoning for Coq

This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.

Coq is a proof assistant for higher-order logic.

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

依存

推奨

提案

enhances

dep: libcoq-deriving-k8ju2 [riscv64]

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

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

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

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

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

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

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

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

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

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
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-extructures のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	0.5.0-1+b11	720.5 kB	2,687.0 kB	[ファイル一覧]
arm64	0.5.0-1+b11	720.1 kB	2,687.0 kB	[ファイル一覧]
ppc64el	0.5.0-1+b11	720.2 kB	2,687.0 kB	[ファイル一覧]
riscv64	0.5.0-1+b11	720.0 kB	2,687.0 kB	[ファイル一覧]
s390x	0.5.0-1+b11	720.1 kB	2,687.0 kB	[ファイル一覧]