Def tryAtEachStepFromEnv

Modification history

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