Skip to content

fix: generate placeholder text for missing toTex implementations#518

Open
kpadmasola wants to merge 4 commits into
leanprover:mainfrom
placidex:flag-tex-errors
Open

fix: generate placeholder text for missing toTex implementations#518
kpadmasola wants to merge 4 commits into
leanprover:mainfrom
placidex:flag-tex-errors

address review comments

66f790f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.