The Coq Proof Assistant. http://coq.inria.fr (2010)