The Coq mailing list

[Sam Kuper <sampablokuper AT posteo.net>]

On Tue, Apr 06, 2021 at 10:50:41AM +0200, Théo Zimmermann wrote:
> Regarding the logo, as someone already explained, it was not "made" to
> look like a penis (and several of us have a hard time seeing it that
> way even after this discussion). However, I agree with the others that
> if some people see it that way, it's a good reason to consider a new
> logo. This was anyway something that many developers wanted, simply
> because the current logo is not to their liking anymore.
> 
> Changing the logo was discussed last October. See the notes
> https://github.com/coq/coq/wiki/Coq-Call-2020-10-07 (which also
> contain the history of the logo).

Relevant excerpt from that discussion:

    Hugo reminds of us of the history of the current logo, which is a
    reference to the Barcelos Coq from Portugal which Gérard Huet liked,
    whose shape was drawn by Julien Narboux and adapted/colored for the
    website by Jean-Marc Notin.

For anyone unfamiliar with what a "Barcelos Coq" is, here are the
relevant English and French Wikipedia articles:

https://en.wikipedia.org/wiki/Rooster_of_Barcelos

https://fr.wikipedia.org/wiki/Coq_de_Barcelos

The current logo does seem to be quite a faithful silhouette of the
Rooster of Barcelos, as distinct from, say, typical representations of
the Gallic rooster:

https://en.wikipedia.org/wiki/Gallic_rooster

https://fr.wikipedia.org/wiki/Symbolisme_du_coq


N.B. These notes are just to aid understanding, not to express an
opinion against or in support of the name or the logo.

I do believe that if the name or logo are retained, it would be wise to
add a paragraph explaining them -  perhaps also with a recommendation to
non-Francophones to pronounce the name as "coke" - here:
https://coq.inria.fr/about-coq .

-- 
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

()  ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\  file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.