>>2
Imagine a bunch of horny college students...
"Something's wrong with my Coq!"
"Everyone open up their Coq and follow along."
"Coq sucks." "You mean sucks Coq?"
"Now let's talk about Coq extraction." (
http://gallium.inria.fr/blog/stack-overflow-during-coq-extraction/ )
...no wonder it's not being taught more in CS classes.