The proposals: https://github.com/coq/coq/wiki/Alternative-names
I particularly like Chapon, if the name was to change (from the announcement: this is not yet a commitment toward a renaming)
I particularly like Chapon, if the name was to change (from the announcement: this is not yet a commitment toward a renaming)
I understand their predicament and agree it needs a new name though (it’s actually surprising how long they’ve gone before accepting that it’s a problem, in such an anglo-dominated field as computing). I just don’t think they’ll find a solution if they stay “around a farm”... I mean, looking at other names they have, gallina in Italian is a hen, but also a very common negative slang for “stupid woman” - any Italian woman using that language would feel horribly. The whole farm-related imagery is ripe for this sort of thing.
dubito, ergo cogito, ergo sum ("I doubt, therefore I think, therefore I am")