coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Why is the Coq logo made to look like a penis?

From: Christian Doczkal <christian.doczkal AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Tue, 06 Apr 2021 09:47:48 +0200
Ironport-hdrordr: A9a23:JvAF1K0eJBMUZSutQUADcwqjBexyeYIsi2QD101hICF9WMqeisyogbAnxQb54QxhPk0ItPKhHO27QX3a/YNo+oV5B9yfdSTvpWfAFvAa0aLMzzHsECX19Kp8+M5bAsxDIfLqC1wSt6zHySy5Cctl/N6c7Kuzj/zfxHsFd2BXQoVByys8NQqBCE1xQ2B9dP0EPb6R/NBOqTblWVl/VKqGL0IIVeTCuNHH/aiOCSIuPBI/7RnLsDXA0tLHOiKF1RQTWS4n+9gf2FXC+jaV2oyT96vkkFv332vL55RZn5/A57J4da6xo/lQcGu3ziKlfp5oVbHHnB1dmpDL1H8a1PPRuQonO8hpy365RAGIiCqo/wHh1To0gkWSqmOlvQ==

> What about the coq-community logo?
>
> https://images.app.goo.gl/Rkpin8eYShvTD3Dr8
>

Well, that is the logo of coq-community, an organization that -- while
clearly having close ties to Coq and its development -- is an
organization in its own right. Further, I would consider the coq-
community logo to be more of an integral part of the coq-community
"brand" than the logo at coq.inria.fr is to Coq.

(This is my personal view, I'm not speaking for coq-community here)

Best,
Christian

Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jay Kruer, 04/05/2021
  - Re[2]: [Coq-Club] Why is the Coq logo made to look like a penis?, Denis Cousineau, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Yishuai Li, 04/05/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jennifer Paykin, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, James R Wilcox, 04/05/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sandra Dylus, 04/05/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Christian Doczkal, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Enrico Tassi, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Christian Doczkal, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Freek Wiedijk, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Robby Findler, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Robby Findler, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Andrew Appel, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Derek Dreyer, 04/06/2021