Coq Proof Assistant
   HOME

TheInfoList



OR:

Coq or COQ may refer to: * coq, ISO 639-3 code for Coquille, a dialect of the
Tututni language Tututni (''Dotodəni'', alternatively "Tutudin"), also known as Upper Coquille, (Lower) Rogue River and Nuu-wee-ya, is an Athabaskan language once spoken by three Tututni (Lower Rogue River Athabaskan) tribes: Tututni tribe (including Euchre Cre ...
* Coq, the French word for "rooster" or "cock" *
Coq (software) Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof ...
, an interactive theorem prover * CoQ, common term for
Coenzyme Q10 Coenzyme Q, also known as ubiquinone and marketed as CoQ10, is a coenzyme family that is ubiquitous in animals and most bacteria (hence the name ubiquinone). In humans, the most common form is coenzyme Q10 or ubiquinone-10. It is a 1,4-benzoq ...
, 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 In process improvement efforts, quality costs or cost of quality is a means to quantify the total cost of quality-related efforts and deficiencies. It was first described by Armand V. Feigenbaum in a 1956 Harvard Business Review article. Prior to ...
* The Coq, colloquial term for the
Coquihalla Highway Coquihalla may refer to: *British Columbia Highway 5, also known as Coquihalla highway *Coquihalla River *Coquihalla Pass *Okanagan—Coquihalla, a federal electoral district in British Columbia *Coquihalla Canyon Provincial Park *Coquihalla River ...
in British Columbia, Canada


See also

*
Le Coq (disambiguation) (French for ''The Rooster'' or ''The Cock'') may refer to: Persons * Robert le Coq (died 1373), French bishop and councillor * Karl Ludwig von Le Coq (1754–1829) of French Huguenot ancestry, first joined the army of the Electorate of Saxony, ...
* Coq d'Or (disambiguation) * * Cock (disambiguation) * Coq au vin {{disambiguation