Coq dependency added