Def Mathlib.TacticAnalysis.tryAtEachStepFromStrings

Modification history

2025-12-05 09:09
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat(TacticAnalysis): add generic env var-based tryAtEachStep linter (#32416) …
Added Mathlib.TacticAnalysis.tryAtEachStepFromStringsView on Github →