check_formalities: escape LaTeX special characters in output#13
Merged
GeorgeSapkin merged 1 commit intoGeorgeSapkin:mainfrom Jan 14, 2026
Merged
check_formalities: escape LaTeX special characters in output#13GeorgeSapkin merged 1 commit intoGeorgeSapkin:mainfrom
GeorgeSapkin merged 1 commit intoGeorgeSapkin:mainfrom
Commits
Commits on Jan 14, 2026
- authored andcommitted