coq_tactic.tex 2.44 KB