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?

From: "Lasser, Samuel M." <Samuel.Lasser AT tufts.edu>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Wed, 7 Apr 2021 16:45:29 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=tufts.edu; dmarc=pass action=none header.from=tufts.edu; dkim=pass header.d=tufts.edu; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=+EiSZBUQIFWOBE7UtvHv+b2SZT+txLwjXnSJ9C9sHbI=; b=E3J3beN5IquEMmgKR2cYxqE2ykZqvWNTPoJVlnvdpkMklgROquU3Mnar73Bdjs1h6rXZq8uWDqWJE43sASb/dq1IYM0ey979vCaeBWLcYffvfdHiYA80ZBGcyTX6T6HqSgurOqRZEUVDPlQDPDuk0mgdZoCIGC7Q1pmsz2gosliOPQTG7r6JW+ZBkkG/TiBM3RqTc5Lh6UqJ+mumaT3L22HC4e2Ms6boG9CHpnhDQaMJTQh8T4E1NQKsSY18oX5JxXgkSbQvwivV7pb2bfgB8U6p4oO2PxMDOAEpRTdYtO1q0lD9z4J9yJnb4WQi5isyN/9OhsZGXhjx4oWpBmDhbg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=llLDDtQtFDFSL/jhkitVGgXaXZw+eJnoMJrSjevfnW3r1GDVrBeeBUNlTfBwnIZqa3GA/IstfbtWZEYeZS5biTeB3N8Xa8bRVFHiwdUlJQVwBFLXNlz+62uvKU7Di6QBzdJ2HivyuoulQEfgNnMGn+8jP/D3hBEZSZN/EvKyvxY4VE6Y1UaUNdOH0BsUcfdy6DhZBFofS5II+gyWViheEJDyRv55X9ipOX74wO6xBX3tvKbiGS51UcOPS+stbdifBaLQau0HwnMBrdT0mASAA439GhGc0K20rkMuGHq1hfx9P5H2zyqHxF0ip9tRM0xuZxO3bYQAojFusUo5Lom+qQ==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Samuel.Lasser AT tufts.edu; spf=Pass smtp.mailfrom=Samuel.Lasser AT tufts.edu; spf=Pass smtp.helo=postmaster AT NAM10-BN7-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:1Y//tKk/+LjVA/8VN2wVgHEcd9npDfMqimdD5ilNYBxZY6Wkvuqpm+kW0gKxrT4XVm0pl9zoAtj9fVr385lp7Y4NeYq4VA79t2eyaK1k543uwzrvcheOi9J1/6FmbqR4FZnMHUF35PyKmjWQPvQB5J288K6ujfrD1HsFd2tXQoxp8gsRMHf8LmRYXw9DbKBJcKa0xs0CnDa4fGRSU8LTPAh/Y8Hmh/nm0K3regQHARlP0nj3sRqN5KThGxaVmjcyOgk/posKymTOnwzn6qjLiZjSoX/h/lTe4JhMlNzqxsErPr3otuEvJijxkQHtXYx9WtS53Qwdmv2l61ohjbD30nQdFvl0gkmhHF2dnQHgwE3J3joo9hbZuCalqEqmj8i8YD4hEcJOicZibxPF5yMb0O1U4eZk2WSWspYSIDHhuGDG59bOXwx3jUbcmxcfuN9WoXpYX44TLIVUsJVaxkVIC50NdRiU1KkXVNJjBs3d+/paGGn1U0zk
Ironport-phdr: A9a23:L7Wm3x+U+hVyBv9uWR67ngc9DhMPi/DPJgcQr6AfoPdwSMyLwZ3uMQTl6Ol3ixeRBMOHsqMC0rWJ+P+/EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe5bL9oMRm7rwfcusYUjIZgN6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9gqJFrhy8uxxxzY3aYI+XO/p/YqzScsgXSnBdUspNTSFNHp+wY5UJAuEcPehYtY79p14WoBewAwejHvjvyiRWiX/sxaExzvkvHhvD3Aw9Ad0OtGnfotLvOKscTOu4y7TGwi/Gb/NLxzj97JLEfBY7rvGXRrJ/b9DRxFIzFwPYgFWQtZflMymL2esQrmiW9uxtXv+ghGA7sQ9+uCSvxtsyhYnTgIIY0k7J+yV2zYsoOdC1SUB1bN6mHZdMqyyXN5Z6Tt88T2xotys21r0LtJ61cSUIxpkqyQDSZviFfoWV7BzuUOmfLzh+iXl4e7y/nw6//Ee8xuHmS8W4zFRHojBBn9XSrHwA0xze5tCGR/Z95Eus3TeC2xrO5uxGPEw4j7TXJ4I/zrIoiJYesFjPEyHzlUnrkKOZbUQp9+225+j7Ybjro4GQN4Fxhwz7LKgjlcqyCvkiPAcURWiU4+G82aXj/ULnRLVKieU7nLHFvZ7dOMgXure1DhJN3Ish8hq/CCyp38oCkXkAMVJFZAmIj4/0O1HIPf/0F++/g06rkDd32f/JIqHhApTKLnjFirvheqt961JYyAo0ytBf5IhYBa0GIPL2QkPxtdrYAQElMwGszOvrFM9x2p4CVW+NGKOUNL3evUWM6+8vO+WMYZUauDf5K/gr/f7uino5lEcAc6az2JsXdW63HvB8L0ufe3XsmcwBHnkQvgclUOzqlVOCUSJIZ3qoQa0z+yw7BJq8DYjfXoCtnKCB3CCjE5JKYWBGE0mAHmvsd4WZQPgBczmSI89kkjwcT7etUY4h1Re0tA/70bVrNOTU+jdL/a7kgZJ+4PSWnhUv/xR1Cd6c2ieDVSs8ymgPXno92L11iU170FaKl6Zi1a92D9tWsrltWxwhOISYh9dzDs3/XkrkOJ3BHG2vR8irBXcVR8kqzsUmf1tzB87kgxzeiXn5S4QJnqCGUcRnupnX2GL8cp4V40aD77EoihwdeuUKNWCigcZX0SH2XtaMuWPG0qGgeOIbwTLH83qFwSyWpkZEXQVsUKLDG3cCek/Rqte/7UTHHebGIYRiCRNIzIu5EoUPb9ToiVtcQ/KLEMjDbX6q3Wq8GETRrpu8KbHycmBY5x3zTVAemmg74WuIKRN4Cyu88Tq2MQ==

We could adopt "Copa" as a standard acronym for "Coq Proof Assistant." It would allow French speakers to refer to the tool as "Coq" if that's an important consideration, and it would allow English speakers to use a name that isn't spelled or pronounced like the one in question.

One could still say or write "Coq Proof Assistant" when the situation requires it, but I can't think of many such situations. It's rare to hear people talking about "Prototype Verification System" or "A Computational Logic for Applicative Common Lisp."

The Barry Manilow association is unfortunate, but "Copacabana" would at least be a decent name for a package index :)

From: coq-club-request AT inria.fr <coq-club-request AT inria.fr> on behalf of Santiago Bautista <santiago.bautista AT ens-rennes.fr>
Sent: Wednesday, April 7, 2021 12:33 PM
To: coq-club AT inria.fr <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?

That is a reason why the proposed alternative "Gallus" is very good : it
keeps the exact same symbol of french identity and national pride, while
solving the problem.

On 4/7/21 3:42 PM, Tadeusz Litak wrote:
> Anyway, the proposed list of "reasons to keep" does not include the
> most important one (apart from massive legacy, second to none in
> fact). One would need to reformulate point 2. It is not just about
> making sense in French. If it is correct that Coq's name appeals to
> French national pride and that it helps to get funding and
> institutional support in France, this is a huge issue.
>
>

Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)