cid 0a0e42a3f122a096d09d349e207f28a008148b2fe2a6c2b17b387f5ca4c16e25 · original · open access · via wikipedia
Title: Coq Authors: Venue: Wikipedia Year: unknown Canonical: wiki:coq URL: https://en.wikipedia.org/wiki/Coq Collector: wikipedia OA: true ABSTRACT Coq, CoQ, 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, an interactive theorem prover, renamed to Rocq in 2025 CoQ, common term for Coenzyme Q10, a naturally occurring biochemical cofactor and antioxidant produced by the human body CoQ, abbreviation for Caves of Qud, a role-playing video game released in 2015 CoQ, abbreviation for cost of quality The Coq, colloquial term for the Coquihalla Highway in British Columbia, Canada