1. coq - Noun
2. Coq - Proper noun
coq (plural coqs)
A trimming of cock feathers on a woman's hat.
Coq
Coquihalla (a location in British Columbia)
For example, the Coq proof assistant system features the tactic omega for Presburger arithmetic and the Isabelle proof assistant contains a verified quantifier elimination procedure by Nipkow (2010). Source: Internet
Some special purpose languages such as Coq allow only well-founded recursion and are strongly normalizing (nonterminating computations can be expressed only with infinite streams of values called codata ). Source: Internet
I first heard the phrase "coq au vin" back during first-year french class in high school. Source: Internet
But of course the book does have classics -- croque-monsieur, coq au vin, steak frites, duck terrine. Source: Internet
Case in point: Boeuf bourguignon, another French classic, is essentially coq au vin made with chunks of stewing beef instead of fowl. Source: Internet
Crunchy, rich, salty and a great vehicle for the expertly made coq au vin (and salsa) on top. Source: Internet