MMT can serve as a LaTeX interpreter that turns LaTeX into MMT data structures for informal knowledge.
It consists if the following steps:
src/mmt-stex
) interprets the LaTeXML output as MMT contentMuch of this workflow in Mihnea Iancu’s PhD thesis. But it is already used heavily in Michael Kohlhase’s KWARC group for producing lecture materials.
Only partial documentation exists at this point: