create a coq recipe