coq format