fix: ignore string literals when matching Lean sorry/axiom#526

hyperpolymath merged 1 commit into

mainhyperpolymath/standards:mainfrom

fix/issue-517-check-trusted-base-stringshyperpolymath/standards:fix/issue-517-check-trusted-base-stringsCopy head branch name to clipboard