>> ZG·Lingua >  >> Theoretical Linguistics >> Syntax

What does coq mean in English?

"Coq" is a French word meaning "rooster".

It can also refer to:

* Coq au vin: A classic French dish featuring chicken braised in red wine.

* The Coq: A type of large, old-fashioned comb.

* Coq10: A popular brand of men's clothing in the 1980s.

* Coq (software): A proof assistant software used in formal verification of programs and mathematical theorems.

It's important to consider the context to determine the meaning of "coq".

Copyright © www.zgghmh.com ZG·Lingua All rights reserved.