Background for tactical
BeDict Logo

tactical

/ˈtæktɪkəl/ /ˈtæktɪkl/

Meanings

noun
A combinator of proof tactics.