Direct Automation Tactics Reference
This page routes to the existing tactic reference pages.
The direct-automation section is organized by proof intent; the tactic reference remains the place for syntax details.
This page routes to the existing tactic reference pages.
The direct-automation section is organized by proof intent; the tactic reference remains the place for syntax details.