Def grindReplacementWith

Modification history

2025-09-16 13:27
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: generalize terminal tactic analysis (#29694) …
Deleted grindReplacementWithView on Github →
2025-09-15 13:59
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat(CI): `nightly-testing` regression report (#29506) …
Modified grindReplacementWithView on Github →
2025-09-10 06:51
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: changes to tactic analysis linter (#29460) …
Modified grindReplacementWithView on Github →
2025-08-14 23:22
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: tactic analysis framework (#26683) …
Added grindReplacementWithView on Github →