News for hackers. Stuff that matters.

version10

Re:Renaming Coq on Friday April 09, 2021 @08:08PM (#26757687)
Is there a citation? The literature is upfront about the JMeq joke, by contrast I've never read anything about this topic.

I'm neither English nor French. I've never seen anything else than a rooster in the name or the logo.