coq_tactic.tex 2.43 KB