Skip to content

chore: add tests for TeX output - #545

Merged
jcreedcmu merged 4 commits into
leanprover:mainfrom
jcreedcmu:jcreed-manual-tex-unit-tests
Oct 7, 2025
Merged

chore: add tests for TeX output#545
jcreedcmu merged 4 commits into
leanprover:mainfrom
jcreedcmu:jcreed-manual-tex-unit-tests

Add a couple of unit tests also

35955a7
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.