Added coq support