Coq bench added