Doc index - coq

Packages contains this documentation

Package:  coq
apt-get install coq

Manuals in package:
• coqtop.byte(1)
• coqchk(1)
• coqchk.opt(1)
• coqnative(1)
• coqc.byte(1)
• coqtop(1)
• coqc(1)
• coqdep(1)
• coq_makefile(1)
• coq-tex(1)
• coqdoc(1)
• coqwc(1)
Documentations in package:
• coq
Package:  libcoq-stdlib
apt-get install libcoq-stdlib

Documentations in package:
• coq
• libcoq-stdlib
• coq-theories