Skip to main content

A tactic is a command or instruction for constructing a formal proof by applying a common proof technique. For questions about high-level techniques for constructing proofs, use the tag (strategy).

References:
Proof tactics by Kyle Miller (pdf)
Coq
Lean

Related tags: