Doc index - coq Packages contains this documentation Package: coq apt-get install coq Manuals in package: coqc(1) coq-tex(1) coqc.byte(1) coqdoc(1) coq_makefile(1) coqchk.opt(1) coqtop.byte(1) coqdep(1) coqwc(1) coqtop(1) coqnative(1) coqchk(1) Documentations in package: coq Package: libcoq-stdlib apt-get install libcoq-stdlib Documentations in package: coq libcoq-stdlib coq-theories Documentation root: https://dweb.link/ipfs/bafybeicw3wwffkds5ktugt6ii57ys3insnlwczt45jnyxfoa6eelkcwnhi