feat(scripts): add cross-reference tag tooling#39662

kim-em wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:crossref-tooling-scriptskim-em/mathlib4:crossref-tooling-scriptsCopy head branch name to clipboard