Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
    < Chronological >      < Thread >
  • From: Denis Cousineau <D.Cousineau AT fr.merce.mee.com>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: Re[2]: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Tue, 6 Apr 2021 07:36:23 +0000
  • Accept-language: fr-FR, en-US
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=D.Cousineau AT fr.merce.mee.com; spf=Pass smtp.mailfrom=D.Cousineau AT fr.merce.mee.com; spf=None smtp.helo=postmaster AT msgsrv3.atosorigin.de
  • Ironport-hdrordr: A9a23:3AmbUaO/jbOmv8BcT/3155DYdL4zR+YMi2QD/0p6RQVJNumRkM6zlPoWvCWE8wo5cncmhNyGJe2kSXTT6ZZ67eAqTM2fdSPhv3alK5wn0Jv6z1TbalPD38NUyKsISdkbNPTeFl5/5Pya3CCZFJIazMCD4OSUg47lvg5QZCVLT40l0AtjEAacFSRNNXh7LL40DoCV6MYChxfIQwVxUu2BCnMIX/fOqrTw/fqMC3NraHAawTKDgj+y5LnxHwLw5GZ5bxp1za4m4Sz5lWXCl92emsq21wPG0Cvr54lW8eGRuudrPtCGicQeN1zX+2WVTblhQLGLsXQUp+yi+T8R4bzxiiogJMh65jfteHi0q3LWqmvd+QspgkWD9XaoxV/Y5e3wXnYTFtdIj4MxSGql12MQ+PVHlJ9t803cnZxNFh/ElDn6/LHzJm1Xv3vxnF5nq8kvtThkdbYmAYUh3rA37QdSC5cPHCXz9YAhHq1vFajnlYlrTW8=
  • Ironport-phdr: A9a23:SmGnwBYMc5n3KP1qEUxXFfz/LTHs14qcDmYuwqpisKpHd+GZx7+nAna3zctkgFKBZ4jH8fUM07OQ7/mxHzVfut3d6zgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrqQjdrNQajIlsJ6o+xRbErGZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhJ/3YDafZ2VOvR9cKPTf9waX2tBUdpeWCFaGIywc5ECAvAdMepErYTwoUYFoxukBQmrAePi0jFGiWHw3a07yOQqDB/L3As9H9IVsXTUqsv6O70PUeuoy6TGwy/PYu1R2Tfg84jIcxYhru+WUrJtasfRx1MvGxnAjlqOs4zqIy2a2v4Is2eF8eVsT/6gi2kiqwxopDWk28gjhJXTiI0P1lDE6Tt2wJwzJdCgVkJ2f9CqHIVRuiybOYV4TN8vT39otis61LEIuZG2cigIxZkn2hPTdfKJfoiU7x/tSOqdPDV1iXx5db+xmhq+7E6twfDyWMmz1VZFtCtFkt/Uu3ED1hzT6cmHSuNj8Ui82DaAzRrf6uZeIUA7jabbLp8hwqIrlpoOqkvDHzT2mEX3jKCIckUr5PSn6/j9YrXnupCQLpV0hR3gPag0hMO/HOI1ORUNUWiD4emwybnu8ELjTLhJlPE6j7fVvIzAKcgFuKK0AxdZ3psn5hqhFTuqzdUVkHodIF9FZh6LlZblN03ILfvlF/mwmU6sny1ux/3ePr3uHJHNLn/bnbfkZrZ95FVcyBAtzd1R/Z5bEK0BIPXoWk/2rtzYDxA5Mw2yw+r9FdpyyJsSWWOJAqCHLKPfqUKE6+YgLuWWZ4IZoivxJ+Y56/L0k3M1h18QcbGs3ZQNaXC4GvpmI1+eYXrpmtoPH30GsxQ5TOz3k12CUDhTaGioUKIh/Tw7BpimAZ3GRo+zmryOwDm0EodTZm9YFF+AC2vnd4KBW/sUciKdPtdhkiAYVbimU4IuyRautBbjx7V7KurU5zYXuIn41Nl14u3TjQs9+SZ1D8SbyWGNTnt7knkGRz8sj+hDphk3wVCalKN8nvZwFNpJ5voPXB1wfcrXyPU/ANTvUCrAeM2IQRCoWIP1OzwpSsMNxIoibkB8AJ2JiQ3Y3iynCqJdw5DNL5sp6aPa0nHsD8hnjXPLzqIsyVwrT41EMmjw1YBl8A2GK4PPkl7RvKG3bqUa0SfQvDOvi0GJoVpZVgN5TI3LRzYaa1HdoJL8606ERLirX+d0ejBdwNKPf/MZIubiik9LEa+LEOSbWHq4niKLPTjNxr6Ia+LCfn4Sxz/DUw4NjwcI+myHOgk4QCus8Tq2JAwrLkrmZgbXycc7rXq6SkEuyATiR0N7kb+44BUYw/mRRrUY2bdW4U8Jm3BPBF+4munuJZ+YvQMJVKtGJ9Yw+lxKk2fUukp2OZnyd8hf
Hello all,
I'm not a daily Coq user, nor I belong to the Coq development team.
But I know where the Coq logo comes from.
It was inspired by a rooster that is not french but portugese : https://en.wikipedia.org/wiki/Rooster_of_Barcelos
If you want to change the logo because it is old or not pretty enough, why not.
But maybe you should ask yourself why you see what-you-don't-want-to-see in something that has never been related to what-you-don't-want-to-see...
(If the shape of the Coq logo makes you think to what-you-don't-want-to-see, maybe it's time to go to the doctor...?)
Sincerely,

Denis

---
Denis Cousineau, Ph.D
デニ クズノ
Researcher
Formal Methods: Theory, Methodology and Tools
Information and Network Systems (INS) Team
Communication & Information Systems (CIS) Division
Mitsubishi Electric R&D Centre Europe (MERCE)
Tel: +33(0)2 23 45 58 36  Fax: +33 (0)2 23 45 58 59

------ Message d'origine ------
De: "Jay Kruer" <j AT dank.systems>
À: "coq-club AT inria.fr" <coq-club AT inria.fr>
Envoyé : 05/04/2021 18:53:50
Objet : Re: [Coq-Club] Why is the Coq logo made to look like a penis?

I always figured it was just a very abstract rooster, though now that you make the comparison I can't unsee it either. I'm all for a new anime rooster a la Proof General.

On Apr 5, 2021, at 9:49 AM, James R Wilcox <jrw12 AT cs.washington.edu> wrote:

I had never noticed this before, despite apologizing for the name of the proof assistant to my students for many years. This year, I had a student point out to me the

flesh-colored logo with what looks like a mushroom top

and now I can't unsee it. 

Isn't it time for a new logo?

James R. Wilcox
University of Washington, Seattle 


Archive powered by MHonArc 2.6.19+.

Top of Page