Feature mmt-stex#591

Open

tmaier473 wants to merge 4 commits intoUniFormal:develfrom

tmaier473:mmt-stex

Commits on Nov 12, 2024

Init ModuleGeneratingPresenter for exporting theories to sTeX, extension: mmt-stex
tmaier473
committed

Commits on Nov 14, 2024

Add handling of documents
tmaier473
committed

Commits on Feb 4, 2025

The basic structure of the exporter with occasional latex errors which will be fixed in the next commit.
tmaier473
committed

Commits on Aug 17, 2025

init mmt-stex
tmaier473
committed