Def tryAtEachStepGrind

Modification history

2025-10-31 08:48
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: tryAtEachStep linters run on a fraction of goals (#31039) …
Modified tryAtEachStepGrindView on Github →
2025-10-28 09:17
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: linters to try hammers at every step (#30808) …
Added tryAtEachStepGrindView on Github →