The Coq mailing list

[Théo Zimmermann <theo AT irif.fr>]

Thank you everyone for contributing ideas and comments, but let's try
to be efficient. We won't be reading again and again all the
discussions to glan the suggestions and their drawbacks. Please use
the wiki page https://github.com/coq/coq/wiki/Alternative-names if you
want a proposal to be considered. And also go there to note advantages
/ drawbacks.

One thing to note is that many of the proposals that were sent lately
were already listed on this page, and so were many of the drawbacks
that were listed in reply.


Le ven. 9 avr. 2021 à 09:03, Jay Kruer <j AT dank.systems> a écrit :
>
> I feel a bit guilty pointing this out about an otherwise nice suggestion, 
> but "Gallus" sounds quite a bit like "phallus" which to me lands us right 
> back where we started.
>
> As a more meta point, I think the cuter we try to be with the name's 
> semantics, the more likely we are to land on a word associated with penises 
> by accident.
>
> > On Apr 7, 2021, at 9:33 AM, Santiago Bautista 
> > <santiago.bautista AT ens-rennes.fr> wrote:
> >
> > 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.
> >>
> >>
>