From their wiki page (https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names): > Reason for discarding: Con is Fre

From their wiki page (https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names): > Reason for discarding: Con is French slang for vulva. This will inevitably lead to categorical jokes about co-con aka... the problem we started with. > Reason for discarding: [...] Also consider the standard clam (coque) metaphor for female genitalia. > Reason for discarding: [...] A translation of the French word. Watch out: "rooster" is also slang for "penis". > Reason for discarding: [...] Even if one ignores that it apparently means “vagina” in Haitian Creole (as pointed out by Lélio), the fact that phonetically, it's apparently slang for “a communist” in French (as pointed out by Matthieu) should be a non-starter [...] > Reason for discarding: "peep" also has a strong sexual connotation in French. Should really be avoided. > Reason for discarding: "Gaule" can be definitely used to mean "erection" in French. Thank you for your hard and dedicated work ! :)