Def tryAtEachStepGrindPremises

Modification history

2025-11-18 10:56

Mathlib/Tactic/TacticAnalysis/Declarations.lean

chore: bump toolchain to v4.26.0-rc1 (#31763)

Deleted tryAtEachStepGrindPremises View on Github →

2025-10-31 08:48

Mathlib/Tactic/TacticAnalysis/Declarations.lean

feat: tryAtEachStep linters run on a fraction of goals (#31039) …

Modified tryAtEachStepGrindPremises View on Github →

2025-10-28 09:17

Mathlib/Tactic/TacticAnalysis/Declarations.lean

feat: linters to try hammers at every step (#30808) …

Added tryAtEachStepGrindPremises View on Github →