Tactical

Definitions

1. A combinator of proof tactics.
2. A private war reenactment event involving mock battles or skirmishes.

Equivalents

Examples

“The repeat⟳ that we use⟳ here is called a tactical, or tactic combinator. The behavior of repeat⟳ t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point⟳ in this search⟳ tree, that particular subgoal is left to be handled by later tactics.”

CEFR level