The Coq mailing list

[Stephanie Weirich <sweirich AT seas.upenn.edu>]

I'll add my support to the feature request for a name / logo change. It would make my job easier as a researcher and educator to have a different way to refer to the tool. The current situation is not terrible of course and there are workarounds as discussed here. But that said, a new name would be an improvement.

In terms of branding, I think that Coq is as hurt by its historical name as much as it is helped. Is it a solid tool developed over decades with a stable user community or is it a fresh new platform that incorporates recent advances in type theory, proof automation and engineering? A new name could bring (well-deserved) attention to recent work by the Coq team to modernize the system.

On Apr 5, 2021, at 12: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