coq_tactic.tex 2.49 KB