3 ms·
Not even a wink or a nudge about why they renamed: https://rocq-prover.org/about#Name https://rocq-prover.org/about#Name
by lelandfe 2y ago
Not even a wink or a nudge about why they renamed: https://rocq-prover.org/about#Name https://rocq-prover.org/about#Name
- SubjectToChange 2y agoThe 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-and-itp-paper-announcement/2001 https://coq.discourse.group/t/coq-community-survey-2022-resu...
- lelandfe 2y agoAh, the community voted on it. The reason why the survey was proposed shall, however, remain a mystery.
- jghn 2y agoI 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 agoAccording 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...
- sitkack 2y agoSpeaking of https://www.why3.org/ https://www.why3.org/ For completeness https://github.com/creusot-rs/creusot https://github.com/creusot-rs/creusot The French were right about so many things.