added README for coq