4 ms·
I gues they think it's funny in a way that the "CHICKEN" Scheme [1] is funny. [1] https://www.call-cc.org/ https://www.call-cc.org/
by lifthrasiir 7y ago
I gues they think it's funny in a way that the "CHICKEN" Scheme [1] is funny.
[1] https://www.call-cc.org/ https://www.call-cc.org/
- yesenadam 7y agoWhat's the joke there? I couldn't see it.
- lifthrasiir 7y agoCoq 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.