# Coq

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Coq
> Markdown URL: https://mediated.wiki/source/Coq.md
> Source: https://en.wikipedia.org/wiki/Coq
> Source revision: 1323654990
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

'''Coq''', '''CoQ''', '''coq''' or '''COQ''' may refer to:

* coq, ISO 639-3 code for Coquille, a dialect of the [Tututni language](/source/Tututni_language)
* Coq, the French word for "rooster" or "cock"
* Coq, an interactive theorem prover, renamed to [Rocq](/source/Rocq) in 2025
* CoQ, common term for [Coenzyme Q10](/source/Coenzyme_Q10), a naturally occurring biochemical cofactor and antioxidant produced by the human body
* CoQ, abbreviation for ''[Caves of Qud](/source/Caves_of_Qud)'', a role-playing video game released in 2015
* CoQ, abbreviation for [cost of quality](/source/cost_of_quality)
* The Coq, colloquial term for the [Coquihalla Highway](/source/Coquihalla_Highway) in British Columbia, Canada

==See also==
{{canned search|coq|c-o-q|coq's|c-oq|co-q|coqs}}
* [Coquihalla (disambiguation)](/source/Coquihalla_(disambiguation)) (abbreviated: Coq)
* [France national Australian rules football team](/source/France_national_Australian_rules_football_team) (nicknamed: Coqs)
* [Le Coq (disambiguation)](/source/Le_Coq_(disambiguation))
* [Coq d'Or (disambiguation)](/source/Coq_d'Or_(disambiguation))
* [Coq au vin](/source/Coq_au_vin)
* {{lookfrom|COQ}}
* {{lookfrom|Coq}}
* {{in title|coq}}
* [Cock (disambiguation)](/source/Cock_(disambiguation))

{{disambiguation}}

---
Adapted from the Wikipedia article [Coq](https://en.wikipedia.org/wiki/Coq) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Coq?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.