Def Mathlib.TacticAnalysis.runPass

Modification history

2025-11-04 18:11
Mathlib/Tactic/TacticAnalysis.lean
feat(TacticAnalysis): check if we are in a `try`/`anyGoals` context (#29964) …
Modified Mathlib.TacticAnalysis.runPassView on Github →
2025-08-14 23:22
Mathlib/Tactic/TacticAnalysis.lean
feat: tactic analysis framework (#26683) …
Added Mathlib.TacticAnalysis.runPassView on Github →