The Coq mailing list

[Christian Doczkal <christian.doczkal AT inria.fr>]

I happen to agree with Beta's comment (in another branch of this
growing tree) that the logo should be as simple as possible in order to
work well at various sizes and resolutions. So while the "mechanical
rooster" looks nice, I'm not sure it's a good choice as a "brand logo".
Just look at the level of detail in modern (high-value) brands.

Best,
Christian 

On Tue, 2021-04-06 at 12:56 +0200, Enrico Tassi wrote:
> On Mon, 2021-04-05 at 12:18 -0700, James R Wilcox wrote:
> > Ilya Sergey has a great "mechanized rooster" logo for his lecture
> > notes: https://ilyasergey.net/pnp/
> > 
> > If we can get his permission, I feel like that would be a great
> > choice.
> 
> I have some memory that he already agreed! (as you can imagine, this is
> not the first time this issue pops up).
> 
> It was a long time ago, so he has all the rights to have changed is
> mind meanwhile, we should ask him again.
> 
> Best