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

libcoq-coqeal に関するリンク

Debian の資源:

coqeal ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

algebra and data structure algorithms for Coq

This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework.

Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.

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

依存

推奨

提案

enhances

dep: libcoq-bignums-8bdi7 [arm64]

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

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

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

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

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

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

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

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

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

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-algebra
dep: libcoq-mathcomp-multinomials (>= 1.6.0)

Multivariate polynomials for Mathematical Components
dep: libcoq-mathcomp-real-closed-2m1f6 [ppc64el]

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

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

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

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

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

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

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

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

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

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	2.1.0-1+b1	5,445.7 kB	22,035.0 kB	[ファイル一覧]
arm64	2.1.0-1+b1	5,444.6 kB	22,035.0 kB	[ファイル一覧]
ppc64el	2.1.0-1+b1	5,444.8 kB	22,035.0 kB	[ファイル一覧]
riscv64	2.1.0-1+b1	5,445.0 kB	22,035.0 kB	[ファイル一覧]
s390x	2.1.0-1+b1	5,444.4 kB	22,035.0 kB	[ファイル一覧]