Everyone's talking about AI adoption. Almost nobody has the real numbers. Help us change that — and get the full report 👉 Engineers | Leaders

Tactic

A command used inside a proof assistant to transform the current proof goal into simpler subgoals, working step by step until the proof is complete.