Coq or COQ may refer to: coq, ISO 639-3 code for Coquille, a dialect of the Tututni language Coq, the French word for "rooster" or "cock" Coq (software), an interactive theorem prover CoQ, common ter...