[jvilk]

What do you mean? Nearly every native English speaker who works with Coq pronounces it "cock" (from experience at POPL, PLDI, and other PL conferences).

Personally, I'm very happy that they are changing the name.

[bryanrasmussen]

I pronounce it sort of like cog but with a sort of w sound at the end - like the gw sound you get in quiet.