4 ms·
What's the joke there? I couldn't see it.
by yesenadam 7y ago
What'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.