فهرست صفحات راهنما / Manual pages

• [fa] coq-tex1
• [fa] coq_makefile1
• [fa] coqc1
• [fa] coqchk1
• [fa] coqdep1
• [fa] coqdoc1
• [fa] coqnative1
• [fa] coqtop1
• [fa] coqtop.byte1
• [fa] coqwc1
• [fa] rocq1
• [fa] rocqchk1