パッケージ: 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-4zqy5 [ppc64el]

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

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

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

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

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