Def Mathlib.GuardExceptions.parseAsTacticSeq

Modification history

2026-02-17 05:26
Mathlib/Util/ParseCommand.lean
feat(TacticAnalysis): verify grind? suggestions work (#33645) …
Added Mathlib.GuardExceptions.parseAsTacticSeqView on Github →