Realizing this is getting out of hand, Coq mulls new name for programming language

Community to think outside the pants

After three decades, Coq, a theorem-proving programming language developed by researchers in France, is being fitted for a new name because it has become impossible to ignore that it sounds like bawdy English slang....