News for hackers. Stuff that matters.
Re:The C standard formalized in Coq by nickpsecurity on Monday November 30, 2015 @01:36PM (#10650893)
The name was intentional as they described. The common reception might have also been intentional as a joke of sorts. ;) Anyway, there was a page or interview where a rep called it "unfortunate" without going into detail. The implication in context was that the name's use in Britain or America often distracts from how the tool is used in a given paper. Hence, unfortunate choice of name.

Should've just picked a different animal haha. The name is easy to spell, though.

There are no comments on this comment yet.