The Coq mailing list

["jonikelee AT gmail.com" <jonikelee AT gmail.com>]

As an anglophone, I have been pronouncing Coq similarly to Coke, trying
my best (not well) to shorten the "owe" sound slightly to match the
francophone pronounciation but still being a longish "oh" instead of
"ah" sound so as not to be offensive.  But this was just when
describing the tool to others not in the Coq community, as until
recently, I had not spoken to anyone else in the Coq community. When I
finally did, I learned that they were pronouncing it similarly to caulk.

I think had I heard the offensive pronounciation from an anglophone
speaker, I would have reasoned that this pronounciation was likely to
nudge some people away while attracting others.  Which of those two
groups I would rather contribute to would have influenced my
participation.


If a proof-assistant-relevant name that is not too far from Coq is
desired, how about "co-Qed"?.