Skip to content

chore: add public modifiers in Lean.Elab.Tactic.Ext #14094

chore: add public modifiers in Lean.Elab.Tactic.Ext

chore: add public modifiers in Lean.Elab.Tactic.Ext #14094

Backport

succeeded Oct 16, 2025 in 3s