Create coq interface.