News for hackers. Stuff that matters.
Re:Renaming Coq by version10 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.

There are no comments on this comment yet.