The coq proof assistant, http://coq.inria.fr (0)