1) Bird often served au vin 2) Brasserie entrée 3) Chantilly crower 4) Chicken in French cuisine 5) Chicken on a menu 6) French fowl 7) French menu term 8) It may come in vin 9) Meat in french cuisine 10) Rouen rooster 11) Serving with vin Found on https://www.crosswordclues.com/clue/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