[coq] use `compute` Eval strategy in snippet