[coq] snippets