Coq

In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions...
Found on http://en.wikipedia.org/wiki/Coq

CoQ

<abbreviation> Coenzyme Q. ... (05 Mar 2000) ...
Found on http://www.encyclo.co.uk/local/20973

Coq

(au vin) mature male chicken (stewed in wine sauce).
Found on http://www.patriciawells.com/glossary/

Coq

rooster
Found on https://www.getalsaced.com/french-food-dictionary.html

CoQ

Type: Abbreviation Definitions: 1. Abbreviation for coenzyme Q.
Found on http://www.medilexicon.com/medicaldictionary.php?t=20330
No exact match found