パッケージ: libcoq-flocq (4.2.1-1 など)

libcoq-flocq に関するリンク

eLxr パッチ追跡システム

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

メンテナ:

外部の資源:

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

類似のパッケージ:

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

Coq is a proof assistant for higher-order logic.

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

依存

推奨

提案

enhances

dep: libcoq-stdlib-1ns11 [arm64]

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

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

libcoq-flocq のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	4.2.1-1+b2	3,350.2 kB	9,190.0 kB	[ファイル一覧]
arm64	4.2.1-1+b2	3,350.1 kB	9,190.0 kB	[ファイル一覧]