原始碼套件：coq-gappa（1.7.0-1）

coq-gappa 的相關連結

• Debian 原始碼倉庫 (Git)
• eLxr 補丁追蹤網站

維護小組：

• Debian OCaml Maintainers
• Julien Puydt

外部的資源：

• 主頁 [gappa.gitlabpages.inria.fr]

libcoq-gappa

Coq tactic to use Gappa for floating-point goals

其他與 coq-gappa 有關的套件

• adep: debhelper-compat (= 13)

  套件暫時不可用

• adep: dh-ocaml

  helper tools for maintaining OCaml-related Debian packages

• adep: dh-coq

  debhelper tool for Coq-related Debian packages

• adep: gappa

  Automatic generation of proofs of arithmetic properties

• adep: libcoq-flocq

  Floating-point arithmetic for Coq

• adep: libcoq-core-ocaml-dev

  development libraries and tools for Coq

• adep: libcoq-stdlib

  proof assistant for higher-order logic (theories)

• adep: ocaml-findlib

  management tool for OCaml libraries

Download coq-gappa

Debian 套件原始碼倉庫（VCS：Git）

https://salsa.debian.org/ocaml-team/coq-gappa.git

Debian 套件原始碼倉庫（可線上瀏覽）

https://salsa.debian.org/ocaml-team/coq-gappa