Def verifyGrindSuggestions

Modification history

2026-02-17 05:26

Mathlib/Tactic/TacticAnalysis/Declarations.lean

feat(TacticAnalysis): verify grind? suggestions work (#33645) …

Added verifyGrindSuggestions View on Github →