Def verifyGrind

Modification history

2026-02-17 05:26
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat(TacticAnalysis): verify grind? suggestions work (#33645) …
Added verifyGrindView on Github →