We do not currently know of any synonyms for Coq..
The proper noun Coq. is defined as:
Did you mean cock, coke or cook?