Skip to Content.
Sympa Menu

coq-club - Re: [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: [Coq-Club] Why is the Coq logo made to look like a penis?


Chronological Thread 
    < Chronological >      < Thread >
  • From: Talia Ringer <tringer AT cs.washington.edu>
  • To: Coq-Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Mon, 5 Apr 2021 10:05:01 -0700
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=Pass smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-ej1-f52.google.com
  • Ironport-hdrordr: A9a23:FVTuw6lMsA26WM39Zm6bsLn373LpDfKl3DAbvn1ZSRFFG/GwvcaogfgdyFvImC8cMUtOpfmsGomlBUnd+5l8/JULMd6ZNzXOlWO0IOhZnOzf6hLtFyD0/uRekYdMGpIVNPTeFl5/5PyKhTWQN/YF7J25/LuzheHYpk0BcShPZ7t75wl0Tia3e3cbeCB8CZA0FIWR66N8zlKdUE4KZce2DGRtZZmgm/T3kvvdEHo7Li9iyw+EjT7A0s+YLzGomi4EUzVVwaozmFKqryXJop6uqveh11v13HPI4/1t+OfJ259IBMHksKkoFgk=
  • Ironport-phdr: A9a23:+PRlhxxznZhEoxXXCzJwylBlVkAck4WxBRYc798ds5kLTJ7L16rrMEGX3/hxlliBBdydt6sVzbOJ6eu4BiQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAfPusUZnYdvKLs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZoga1UrhKupRxxzYDXbo+IKvRxYrjQcskGSWdbRMtdSzBND4G6YoASD+QBJ+FYr4zlqlUQtxS+AQisC/nywTFUh3/226I63Po7EQrb2wEgA8gOsHXSrNX6KqgSS/u4w7XTzTnZYfJZwyz96IjJchAnrvGMQbVwcczLxUYxCgzFk0ydpIr4NDyayuoDqXKU7/Z8Ve2xkW4nrRl8rzqvy8swiYTEmowYx1/L+Ch93os4IcC1RkF1bNOmDJZcqiOXO5ZqTs4hXmxkpSk3x7MYtZO/fiUHxpcqyhDQZfGBboOG4QrjWf6PLTtkgH9pYrGyihao/US+1+HxVdO43VZUoidDj9LCrGoC1wbJ5ciCUvZ9/lmu2TKI1w3L7+FLO0E0la7CJ5E/wL48i4MfsUrDEyPogkn2g6iWdkIr+uis9evreKnpppiZN4NsiwH+NLohmtCnDOgmLgQDW3KX9Oe82bH540H1XbZHguc2n6XHqJzaIN4Upq+9Aw9byIYj7BO/Ai+60NQCnHkHKl1Fdwydj4XyJ17OO+r0DPmljFS3kDdrxvbGPrL9ApXKKHjPiqnucqtg60JE0go80chf545ICrEGOP/8RkjxtMXBAhAlNwy03v3oBc5m1oIeXGKPGrWWPLnTsV+O/OIvIvODaJUbuDbneLAZ4KvFimZ8slsAd+H91pwOLXu8A/5OIkODYHOqjM1XQkkQuQ9rcOXuiVTKaz9VaHuoF/Yg/DA9B4+8JYzYAJ+km7yA2iinGZsQa2xbXAPfWUz0fpmJDq9fIBmZJdVsx2RsfYjkcJco0FSVjCG/zrNmKuTO/ShwnZn4ksd8/O3Skx4u8joyAsiAgTjlZ1ExpXsBQnoN5I46uVZ0on+Iyu5niudYFNpc+/RPFAo2KMyEp8RKTuvqUweERe+nDVarRtLOKTQ4T9Z0zt1XJkggQZOtiRfM2yfsCLgQxeTjOQ==
I've brought this up before in person, too, at the Coq Users & Developers Workshop. I think using a different logo is good so as not to double down on the 1980s joke to troll anglophones, whether or not the resemblance of the logo was intentional (the name was IIRC). Very much for a new logo, and it's a much easier change than renaming a language.

On Mon, Apr 5, 2021, 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