fix: generate placeholder text for missing toTex implementations#518

kpadmasola wants to merge 4 commits into

leanprover:mainleanprover/verso:mainfrom

placidex:flag-tex-errorsplacidex/verso:flag-tex-errorsCopy head branch name to clipboard