COQC(1) - Linux manual page online | User commands

The Coq Proof Assistant compiler.

Loading manual page ...

This manual	Reference	Other manuals
coqc(1)	referred by	coqchk(1) \| coqdep(1) \| coqide(1) \| coqmktop(1) \| coqtop(1) \| coqtop.byte(1) \| coqtop.opt(1)
coqc(1)	refer to	coq_makefile(1) \| coqdep(1) \| coqtop(1)