Def Mathlib.TacticAnalysis.verifyTryThisSuggestions

Modification history

2026-02-17 05:26

Mathlib/Tactic/TacticAnalysis/Declarations.lean

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

Added Mathlib.TacticAnalysis.verifyTryThisSuggestions View on Github →