Add coq workshop proposal