added Coq support