Lean: Tactics

Part of Lean from the Inside. Follow the series in reading order or explore the entries below.

• Tactics: what a tactic proof builds
  2026-10-01

  How tactic scripts build proof terms, manage goals, and power automation.

  LeanLean: Tactics