LaTeX utility macros for typesetting papers and theses involving the MMT Language
-
Updated
Dec 15, 2023 - TeX
LaTeX utility macros for typesetting papers and theses involving the MMT Language
Add a description, image, and links to the mmt topic page so that developers can more easily learn about it.
To associate your repository with the mmt topic, visit your repo's landing page and select "manage topics."