Skip to content

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

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

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

check-lean-files

succeeded Oct 16, 2025 in 43s