feat: suggest guillemet escaping in parser error#11822

alok wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

alok:feat/guillemet-hint-minimalalok/lean4:feat/guillemet-hint-minimalCopy head branch name to clipboard