Tactics Reference The canonical tactic reference remains: Tactics Reference Intent-based entry points: Bounds and Inequalities Roots and No-Root Proofs Optimization and Discovery Integration Troubleshooting