- [[apply-at-tactic]], [[apply-tactic]] - [[assumption-tactic]], [[assumption-loop-tactic]] - [[Tactics/by_contra-tactic|by_contra-tactic]] - [[clear-tactic]] - [[Tactics/exact-tactic|exact-tactic]] - [[Tactics/intro-tactic|intro-tactic]] - [[rename'-tactic]]