» Ubuntu » パッケージ » tenacious » math » libcoq-core
[  stonking  ] [  tenacious  ]
[ ソース: coq  ]

パッケージ: libcoq-core (9.2.0+dfsg-4build2) [universe]

このサイトについて

Screenshot

published in section universe

Ubuntu の資源:

Source Package coq:

メンテナ:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

類似のパッケージ:

proof assistant for higher-order logic (theories)

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

  • 依存
  • 推奨
  • 提案
  • enhances
  • rec: coq
    proof assistant for higher-order logic (toplevel and compiler)

libcoq-core のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 1,293.3 kB5,685.0 kB [ファイル一覧]
arm64 1,293.4 kB5,685.0 kB [ファイル一覧]
armhf 1,293.1 kB5,679.0 kB [ファイル一覧]
ppc64el 1,293.2 kB5,685.0 kB [ファイル一覧]
riscv64 1,293.4 kB5,685.0 kB [ファイル一覧]
s390x 1,293.2 kB5,685.0 kB [ファイル一覧]