Le 15 mars 2015 à 18:41, Éric Pailleau <eric.pailleau@REDACTED> a écrit : > Hello, > > CoC is a strange name for something that looks to suck everybody. French people shouldn't do that joke, because it hurts Coq's reputation and its associated Calculus of Construction.