Added Coq mode