I will say that as a professor who occasionally has to refer to this system in front of a bunch of (American) 18-24 year olds, I'm very grateful for this renaming.
Expanded details at <a href="https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001" rel="nofollow">https://coq.discourse.group/t/coq-community-survey-2022-resu...</a><p>I'm not part of the Coq community so I've got no strong opinions on this. But I do know I've often heard people saying GIMP could do with a better name.
I have no strong opinion on renaming the project as such and conducting a survey was surely one of the better ways to handle that question. However, one thing in their evaluation of alternative names sprung out at me:<p>> No option receives more likes than dislikes.<p>So the new name was just "the least bad" option. Naming things is hard and getting a community to agree on a name is surely that much harder still, but I still find it a bit sad that the new name is not well-liked.
I pronounce "Coq" with back of my throat to make it a bit different from the word "Cock". Try to emulate the French accent a bit, and it ends of sounding almost like "Coke", but not quite.<p>That being said context matters too, I still refer to loading a round into a gun's chamber as cocking a gun.<p>I've never had an issue referencing the project's name in a professional environment, where most of my colleagues are unfamiliar with it.
Someone on HN pointed out a problem with a joke in the new name, but they got flagged. Basically, the new name looks like intentional innuendo wordplay related to the problem with the first name<p>We all appreciate various kinds of humor, in the right contexts.<p>But this software seems like something used in professional and academic contexts.<p>Including professional and academic contexts with a history of sometimes being unwelcoming to women. Who might not want to be reminded of old boys' club locker room phallic humor insensitivity throughout each day as they work.<p>So, the new name is going to seem like doubling-down, by those who didn't understand all the problems with the previous name, or didn't consider them problems.<p>I think this is one of those things we sometimes do out of lighthearted intention, with no harm intended, and only later realize and regret.<p>Now's a chance avert some harm and regret.
> The Coq team has decided that Coq will be renamed into 'The Rocq Prover'<p>They have a typo on the side, it's `The Rocq Hard Prover`