Test with coq.dev added