源码包：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