Comment Comment by michaelt Expanded details at https://coq.discourse.group/t/coq-community-survey-2022-resu...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. parent michaelt 2 years ago
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.