Word.ws English Dictionary

tacticals

tacticals is the plural of tactical.

Meaning of tactical

Noun

tactical (plural tacticals)

  1. A combinator of proof tactics.
    • 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...2013, Adam Chlipala, Certified Programming with Dependent Types
  2. A private war reenactment event involving mock battles or skirmishes.

See all 6 meanings of tactical

Questions about tacticals

What is tacticals the plural of?
Tacticals is the plural of tactical.

Words near tacticals in the dictionary

  1. tactical voting
  2. tactical warning
  3. tactical warnings
  4. tacticality
  5. tactically
  6. tacticals
  7. tactician
  8. tacticians
  9. tacticities
  10. tacticity
  11. tactick

Source and license

Adapted from Wiktionary: tacticals (page history and authors); tactical (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “tacticals.” Word.ws, https://word.ws/tacticals. Based on Wiktionary, CC BY-SA 4.0.