Skip to Content.
Sympa Menu

coq-club - [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

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


Chronological Thread 
  • From: John Soo <jsoo1 AT asu.edu>
  • To: coq-club AT inria.fr
  • Cc: Peter LeFanu Lumsdaine <p.l.lumsdaine AT gmail.com>, tringer AT cs.washington.edu
  • Subject: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Sat, 10 Apr 2021 10:35:23 -0700
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jsoo1 AT asu.edu; spf=Pass smtp.mailfrom=jsoo1 AT asu.edu; spf=None smtp.helo=postmaster AT mail-pf1-f181.google.com
  • Ironport-hdrordr: A9a23:+ZfPGanEW9SRvTzFVJmRu4Mzss/pDfIk3DAbvn1ZSRFFG/GwusiykJ0guSPcpy0WXBgb9OyoHKWbW3vT+dpU7OAqU4uKZwXttGu2IIwK1+KLqAHIITH09eJWyM5bHJRWNduYNzJHsfo=
  • Ironport-phdr: A9a23:ebGC6BBO+njYR7smBIXIUyQU50MY04WcBSYlr6E/grcLSJyIuqrYVGTh7PlgxGXEQZ/co6odzbaP4ua5CTZLuM/f+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiyoAnLq8UbgpVuJqksxhfUo3ZDZvhby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlCsLKzg0+3zMh8dukKxUvg6upx1nw47Vfo6VMuZ+frjAdt8eXGZNQ9pdWzBEDo66coABDfcOPfxAoofzp1UAsxiwCguiBO3yxTBHmmT73aIm3+k7CwzKwBAsEtAIvX/JrNv1LqASUeWtwafMyjXDb/VW0irg5ojPdRAqvPaBXbBrccrWzkkjChjIgU+LqYz4JT+ayPkCs3WC4udmSOmghHIppRtrrTiz2scjlJPJhoQNx13E+ih03pg4KNy5RUNmfdOpH5lduiKZOoZ5Xs4uXXxktig6xLEYu5O2cygExZYpyhDfdfGKfZaE7BL+WeuSIjp1gm9udrGnhxuq70Ss1unxWtO33VtKtCZJjMTAumwX2xDO6cWLV+Nx8lmg1DqT2Q3e7+JJLVwomabGLpMszKI/moYOvUnGGiL6hF75ga6Te0o45+Sn9ernb7Diq5KfNoJ4lwTzP6Uhl8OjBOk4PAkDUmiH9um6ybbt51f2QK9Qgf0ziqTZsI7VJcAcpqOhBg9ayIcj6xKmAze+3tQUgGALLFxYdB+EkoTlIV7OIPf/Dfewh1Sjji1nyOzBPr3kGpnNL37Dn6n9fbtl9UJQ1A4+wcpc6p9UEL0NPu//VlPruNDFDRI1LhS4w+P9B9V80oMeV3iPAqicMK7Ks1+I/eUvI+6RaIIOojn9MOUl6+TwgnAkhF8RZbOp0ocPaHCkAvRmJF2UbmbrgtcYCGsFog4+TPHxh1CZSj5SZ3OyX7om6T0hCYKmC53DRoG3j7Cb0ie7BM4eWmcTAVeVVHzsao+sWvEWaSvULNUyvCYDUO2DTI8nnSqps0euyaFgKbP88zYF85/vyY4mtKXoiRgu+GksXIym2GaXQjQxxztQLxcGmZtnqEk48W+tlLBiipRwHMdOof5FT1ViXbbsitdiAtW3YTrvO9eETFHOatCvADV0VtxohtFXMx87FNKlgRTOmSGtBu1N/5S7Qacs+6eZ5EDfYsN0ynLIzq4k53EvWdYJOGG71PcXyg==

Hello provers,

I am but a casual user and fan of the tool. I just wanted to express my support of a rebrand. Any barrier to entry or cultural artifact that is implicitly against marginalized groups has no right to be endorsed by the official organization.

Thanks for being so receptive to the idea of a rebrand. I understand it might be hard to let go of the name, being so clever and existing in an anglo-centric culture.  

Kindly,

John Soo

Attachment: signature.asc
Description: PGP signature




Archive powered by MHonArc 2.6.19+.

Top of Page