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.
Should've just picked a different animal haha. The name is easy to spell, though.