More tests with coq.dev