原始碼套件：coq-equations（1.3.1-8.20-1）

coq-equations 的相關連結

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

維護小組：

• Debian OCaml Maintainers
• Julien Puydt

外部的資源：

• 主頁 [github.com]

libcoq-equations

Coq library to work with functions defined by equations

其他與 coq-equations 有關的套件

• adep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• adep: debhelper-compat (= 13)

  套件暫時不可用

• adep: dh-coq

  debhelper tool for Coq-related Debian packages

• adep: dh-ocaml

  helper tools for maintaining OCaml-related Debian packages

• adep: libcoq-hott

  Coq library for homotopy type theory

• adep: libcoq-core-ocaml-dev

  development libraries and tools for Coq

• adep: libcoq-stdlib

  proof assistant for higher-order logic (theories)

• adep: libocamlgraph-ocaml-dev

  graph library for OCaml

Download coq-equations

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

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

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

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