Def Lean.Elab.runTactic'

Modification history

2025-09-10 06:51
Mathlib/Lean/Elab/Tactic/Meta.lean
feat: changes to tactic analysis linter (#29460) …
Added Lean.Elab.runTactic'View on Github →