4 ms·
Ah, the community voted on it. The reason why the survey was proposed shall, however, remain a mystery.
by lelandfe 2y ago
Ah, 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...