What's all the fuss about Coq?

 “Program testing can be used to show the presence of bugs, but never to show their absence” -Edsger Dijkstra   One o...