4 ms·

I don't think the Coq developers are inclined to chicken out, and the virility of a theorem prover shouldn't be underestimated. More concretely, there would be

I don't think the Coq developers are inclined to chicken out, and the virility of a theorem prover shouldn't be underestimated. More concretely, there would be some confusion with the popular Chicken Scheme compiler.

crtc 6y ago
> there would be some confusion with the popular Chicken Scheme compiler. Or Agda (the hen): https://www.youtube.com/watch?v=zPY42kkRADc https://www.youtube.com/watch?v=zPY42kkRADc