Skip to content

[Merged by Bors] - feat(Tactic): add syntax for convert!, convert_to!, ac_change!#39715

Closed
Vierkantor wants to merge 2 commits into
leanprover-community:masterfrom
Vierkantor:convert-bang-alias
Closed

[Merged by Bors] - feat(Tactic): add syntax for convert!, convert_to!, ac_change!#39715
Vierkantor wants to merge 2 commits into
leanprover-community:masterfrom
Vierkantor:convert-bang-alias

Forgot a `@[tactic_alt]`

7111187
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 22, 2026 in 1m 12s