[ ソース: coq-gappa ]
パッケージ: libcoq-gappa (1.5.2-5 など)
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 関連パッケージ
|
|
|
|
-
- dep: gappa
- Automatic generation of proofs of arithmetic properties
-
- dep: libcoq-flocq-llvl4
- 以下のパッケージによって提供される仮想パッケージです: libcoq-flocq
-
- dep: libcoq-stdlib-u2uh4
- 以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib