Hacker News new | ask | show | jobs
by sp332 2336 days ago
Well the French maintainers think it's pretty funny, so it's a little childish.
1 comments
lifthrasiir 2336 days ago
I gues they think it's funny in a way that the "CHICKEN" Scheme [1] is funny.

[1] https://www.call-cc.org/

link
yesenadam 2336 days ago
What's the joke there? I couldn't see it.
link
lifthrasiir 2334 days ago
Coq means a rooster in French that is not a usual name for theorem prover by itself. Therefore Coq developers should have thought that it is at least an interesting (and more likely, funny) idea to name it after an animal, much like CHICKEN Scheme.
link