coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- 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?, Joyal , André, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jay Kruer, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/09/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Lasser, Samuel M., 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Joyal , André, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Peter LeFanu Lumsdaine, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Benedikt Ahrens, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Ashish Darbari, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Harley D. Eades III, 04/10/2021
- [Coq-Club] Why is the Coq logo made to look like a penis?, John Soo, 04/10/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jim Fehrle, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Petar Maksimovic, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Wilayat Khan, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Nestor Catano, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Suneel Sarswat, 04/07/2021
- [Coq-Club] changing the name [was: Why is the Coq logo made to look like a penis?], Tadeusz Litak, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Hadas Zeilberger, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jason -Zhong Sheng- Hu, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Fred Smith, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Peter LeFanu Lumsdaine, 04/05/2021
Archive powered by MHonArc 2.6.19+.