mathlib3

6fd4f8fa - feat(meta/expr): add tactic_format instance for declaration (#3390)

feat(meta/expr): add tactic_format instance for declaration (#3390) This allows you to `trace d` where `d : declaration`. Useful for debugging metaprograms. Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>