Def Mathlib.TacticAnalysis.Entry.import

Modification history

2025-08-14 23:22

Mathlib/Tactic/TacticAnalysis.lean

feat: tactic analysis framework (#26683) …

Added Mathlib.TacticAnalysis.Entry.import View on Github →