by Thomas Claburn on (#5K2WJ)
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.…