Skip to content

fix: better robustness in the face of overloaded tactic syntax - #507

Merged
david-christiansen merged 1 commit into
mainfrom
tactic-overloads-docs
Aug 15, 2025
Merged

fix: better robustness in the face of overloaded tactic syntax#507
david-christiansen merged 1 commit into
mainfrom
tactic-overloads-docs

Commits

Commits on Aug 15, 2025