[ bianca ]

原始碼套件：coq-corn（8.20.0-1）

coq-corn 的相關連結

本原始碼套件構建了以下這些二進位制包：

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-bignums

Coq library for big numbers
adep: libcoq-elpi

Coq plugin embedding Elpi
adep: libcoq-math-classes

Abstract interfaces for mathematical structures for Coq
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)