The Coq mailing list

[Yishuai Li <yishuai AT cis.upenn.edu>]

Not until meeting some anglophones have I realized that the name and
logo both resemble chicken, or the slang behind its name. Before that
I only thought Coq might be named after some person (like Haskell).
Still I'm failing to see the logo as other than a chicken (Google
reads the image as "lovely"). I feel natural explaining to people that
"chicken is a symbol of France, and the lack of details reflects
abstraction".

It's worth having a new logo for better illustrating the programming
language, but not for accommodating a specific natural language.

Talia Ringer <tringer AT cs.washington.edu> 于2021年4月5日周一 下午1:05写道：
>
> 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