Def Mathlib.TacticAnalysis.tryAtEachStepFromEnvImpl

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.tryAtEachStepFromEnvImplView on Github →