すべてのオプション
[  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ ソース: coqeal  ]

パッケージ: libcoq-coqeal (1.1.1-3 など)

libcoq-coqeal に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

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

libcoq-coqeal のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 1.1.1-3+b1 4,512.5 kB18,738.0 kB [ファイル一覧]
arm64 1.1.1-3+b1 4,511.6 kB18,738.0 kB [ファイル一覧]
armhf 1.1.1-3+b1 4,510.3 kB18,716.0 kB [ファイル一覧]
i386 1.1.1-3+b1 4,510.3 kB18,716.0 kB [ファイル一覧]
ppc64el 1.1.1-3+b1 4,512.0 kB18,738.0 kB [ファイル一覧]
s390x 1.1.1-3+b1 4,511.1 kB18,738.0 kB [ファイル一覧]