パッケージ: libcoq-gappa (1.7.0-1 など)

libcoq-gappa に関するリンク

Debian の資源:

coq-gappa ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [gappa.gitlabpages.inria.fr]

類似のパッケージ:

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

Gappa is a prover for numerical properties.

Coq is a proof assistant for higher-order logic.

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

依存

推奨

提案

enhances

dep: gappa

Automatic generation of proofs of arithmetic properties
dep: libcoq-flocq-4cm59 [ppc64el]

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

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

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

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

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

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

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

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

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

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

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

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

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

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib

libcoq-gappa のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	1.7.0-1+b1	537.8 kB	1,385.0 kB	[ファイル一覧]
arm64	1.7.0-1+b1	540.9 kB	1,413.0 kB	[ファイル一覧]
loong64 (非公式の移植版)	1.5.5-2	506.3 kB	2,145.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.5.5-2	504.8 kB	2,161.0 kB	[ファイル一覧]
ppc64el	1.7.0-1+b1	537.1 kB	1,413.0 kB	[ファイル一覧]
riscv64	1.7.0-1+b1	538.5 kB	1,389.0 kB	[ファイル一覧]
s390x	1.7.0-1+b2	538.3 kB	1,397.0 kB	[ファイル一覧]