coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: James R Wilcox <jrw12 AT cs.washington.edu>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Mon, 5 Apr 2021 09:49:05 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jrw12 AT cs.washington.edu; spf=Pass smtp.mailfrom=jrw12 AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-wm1-f50.google.com
Ironport-hdrordr: A9a23:EEkmB6/nS58F2eeI2VVuk+BlI+orLtY04lQ7vn1ZYxpTb8CeioSSjO0WvCWE7wo5dVMBvZS7OKeGSW7B7pId2+MsFJqrQQWOghrKEKhM9o3nqgeBJwTb1spwkZhtaLJ/DtqYNzlHpOL3+hOxHdpl4PTvytHLuc7kw31gTR5nZshbhm8TNi+gDkZ0SANabKBJcaa028wvnUvFRV0nKuq+Ql0IRfLKqdGOro/vfBJuPXIawTjLozWv5rv3VzW7/jNbaTNAxr8+7XPI+jaV2oyT99+8zBHY2yvo64lO3OHm1sBICKW35fQ9G3HWhgylZJtsVtS50gwInA==
Ironport-phdr: A9a23:3vLugRIjDQcvYNi1ytmcuPdmWUAX047cDksu8pMizoh2WeGdxfzKAkXT6L1XgUPTWs2DsrQY0ruQ6v+6EjRfqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba52IRmssAnctNcajYR+Jqsz1xDEvmZGd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljjoMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2zcpEPAvIOMuhYoYfzpEYAowWiCgS3Huzj1iVFi2Xq0aEm0eksFxzN0gw6H9IJtXTZtNH7O70XUe+r16nD0CnNZO5W1jf87IjHbhchoP6RVr93c8rR00cuGx7bgliLtYPlJCmZ1+oXvGiA7+pgVOSvi2E7qwF2pDij3NkjhZTUho8MzF3P6Cp2zpovK9KiVE57fcCrEIFWtyyCNoZ7QswvTmB2tSs1zrAKpZ61cSwOxZk7yRDSd/+Kf5WU7x/hW+ucICl0in1mdbyxmxq+7FWsx+79W8S6zlpHsyxImcTPuHAVzxHf9NSLR/9n8kqi2TuDzR3f5v9HLEwulafXN5gsyaMqmJUJq0TMBCr2lV32jKCIckUk/fCl6+H9bbXnop+QLoF1igTjPqg3lMyyAfg0PhIBX2ic/uS827nj8lPjTLpWif02l7HVsJHcJcsFuq60GxFZ3pon5hqlDDqr0M4UkWQZIF9GYh6Kj5TlN0nLIP/iDPe/h1qskC1sx/DDJrDhAI/NL3benLv/Zrty91VcxBA9zN9F/JJUCrABIPT8Wk/ts9zYCAU1PBKpzOb6ENl9zJ8RWXqTAq+FN6PfqUOH5uU2I+WVeIAVvCv9JOM+6v71jX45nEcdcrOz0ZsWbnC4BPVmLF+DbXrimNdSWVsN6yE5VaTBjECIGWpYYG/3VKYh7Bk6DpinBMHNXNb+rqaG2XKZF5hbfSh8Qm+NFXzvZ83QWe0TMXi6KdQnjTUfVbmnRJMm01ejuBKsmOkvFfbd5iBN7cGr79Ny/eCG0EhqrVRcP4Gmy2iIClpMsCYNTj4y0rp4pCRVwUzFzqFjg/1eGsBU4bVEXhpobPb0/6lBE9n3Hzn5UJKRUl/Oat69Ry44VdIwxdASZEA7Ftm/3Eir9xrvOKcckvmwPLJx8q/Y2BDZIs98zzPZ0fBkgQR+BMRIMmKii+h08A2BX+b0

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

[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?, 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