The Coq mailing list

[Guillaume Claret <guillaume AT claret.me>]

I am strongly against changing the name.

Le 06/04/2021 à 11:49, Paolo Torrini a écrit :
> Since there's already an *important* distinction between language 
> (Galllina) and prover (Coq), wouldn't it actually make sense to 
> introduce a new name to designate the whole lot?
>
> Say, one could simply abbreviate Gallina-Coq to Galliq, or call it 
> Roost, or anything else appropriate. That would save from explicitly 
> changing name, while defusing the anglophone issue - and it might even 
> help to make things more precise.
>
> Best,
>
> PT
>
> On 06/04/2021 11:04, Derek Dreyer wrote:
> > Personally, I would support changing the name *and* the logo.
> >
> > The root problem is the name -- I rather doubt the logo would be
> > controversial if it were not for the name.  As is well known, the name
> > was deliberately intended partly as a joke, to provoke people -- it
> > has succeeded in that regard.  But mostly at this point it is just
> > embarrassing to a lot of us, and probably exacerbates the gender
> > disparity in Coq users.
> >
> > I have heard people say that it is hard to change the name.  I agree,
> > it is hard, but that doesn't mean IMO that it's not worth exploring.
> > I bet that many Coq users would be very open to a name change if a
> > catchy new name were proposed by the Coq team.  I would, for one.
> > (And I'm happy to help brainstorm about new names privately if anyone
> > cares to have that discussion.)  Of course, perhaps I am wrong: it
> > might be worth polling Coq users about whether they would like to see
> > the name changed, if that has not been done already.
> >
> > That said, if there is not sufficient support for changing the name, I
> > would at least support changing the logo to something that is less
> > open to interpretation and more clearly resembles a normal rooster (or
> > even Ilya's steampunk rooster).
> >
> > Best regards,
> > Derek
> >
> >
> > On Mon, Apr 5, 2021 at 6:49 PM 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