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: Enrico Tassi <Enrico.Tassi 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 12:56:16 +0200
Ironport-hdrordr: A9a23:zwrjrKsgzFmDaYqt8Ux03ElL7skDqNV00zAX/kB9WHVpW+afkN2jm+le6A/shF8qKRIdsP2jGI3Fe3PT8pZp/ZIcVI3IYCDKsHalRbsM0aLM2DvlcheRysd49YNNN5dzE8fxC18St6bHyS21CcwpztXC0I3Av4bj5kxgRw1rdK1shj0RYmymO3drTwpLD4dRLvahz/dAzgDMRUgq

On Mon, 2021-04-05 at 12:18 -0700, James R Wilcox wrote:
> Ilya Sergey has a great "mechanized rooster" logo for his lecture
> notes: https://ilyasergey.net/pnp/
>
> If we can get his permission, I feel like that would be a great
> choice.

I have some memory that he already agreed! (as you can imagine, this is
not the first time this issue pops up).

It was a long time ago, so he has all the rights to have changed is
mind meanwhile, we should ask him again.

Best,
--
Enrico Tassi

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?, 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
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, jonikelee AT gmail.com, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021