It originated in France (see https://coq.inria.fr/about-coq). In French, 'coq' means 'rooster' - the language that implements Coq is named Gallina and the logo is indeed a rooster.

Well, no worse an homophone than 'bit' to French speakers...