News for hackers. Stuff that matters.
Re:Renaming Coq by tombert on Thursday April 08, 2021 @10:58AM (#26739575)
That's pretty much my take on it too. It's a bit unfair to the maintainers that their innocent name is sort of being co-opted by English, and for that matter it kind of sucks that English is the standard language for most scientific writing, but sadly that's just the way it is.

There are no comments on this comment yet.