posts about Coq

Coq is an interactive theorem prover. I've been interested in it for a long time and I've written a few posts about it. I'm especially interested in Coq's usage in formalized mathematics. If you see interesting links about that, let me know!

A chicken on a yard.

A chicken in the yard. Is this a rooster or a hen? I have no idea.