Comment by benwad

This is just anecdotal, but one of my professors at university said that the name was intentional, as a joke to make English speakers feel uncomfortable. I've not idea if this is true but it would make sense that the creators of Coq would have been aware of its English translation (lots of people in France speak English, especially in academia).