News for hackers. Stuff that matters.
Re:Change of Name: Coq –> The Rocq Prover by ykm on Wednesday December 27, 2023 @04:40AM (#38780465)
Reminds me of a time when i created a library to work with iterators in lisp, inadvertently naming it cl-iterators[0], as far as the naming convention of common lisp libraries went at that time. Some folks(including me!) on reddit had lots of fun with the unfortunate name.

[0] https://github.com/ykm/critter

There are no comments on this comment yet.