coq_tactic.tex 2.45 KB