4 ms·

The linked discussion is upfront about the name change, if it wasn't already obvious. https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-a

• lelandfe 2y ago
  Ah, the community voted on it. The reason why the survey was proposed shall, however, remain a mystery.
  • jghn 2y ago
    I was not part of the survey but count me as someone who felt concern whenever I had to say it in a public or professional setting.
  • thih9 2y ago
    > how different Coq users use Coq differently and express different needs > applying Coq to do software verification > encourage others to learn and use Coq To be clear, some people giggle when they read or hear the above and this is the reason.
  • tacker2000 2y ago
    According to the post, 24% "expressed discomfort: (it is uncomfortable or awkward to have to use the name Coq)" PS: i am impressed by the time and effort that was given here to create fancy graphs, regressions, tests, etc...