add coq script