パッケージ: 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-0avb1 [s390x]

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

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

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

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

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

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

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

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

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

以下のパッケージによって提供される仮想パッケージです: 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+b7	720.4 kB	2,687.0 kB	[ファイル一覧]
arm64	0.5.0-1+b7	720.1 kB	2,687.0 kB	[ファイル一覧]
ppc64el	0.5.0-1+b7	720.1 kB	2,687.0 kB	[ファイル一覧]
riscv64	0.5.0-1+b7	720.5 kB	2,687.0 kB	[ファイル一覧]
s390x	0.5.0-1+b7	720.1 kB	2,687.0 kB	[ファイル一覧]