GitHub - tmaier473/MMT: Fork for the development of the mmt-stex extension

This repository was archived by the owner on Mar 4, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 7,454 Commits
.github/workflows		.github/workflows
deploy		deploy
project		project
scripts		scripts
src		src
.dockerignore		.dockerignore
.gitignore		.gitignore
.nojekyll		.nojekyll
CONTRIBUTING.md		CONTRIBUTING.md
COPYING.txt		COPYING.txt
Dockerfile		Dockerfile
README		README

Repository files navigation

The MMT documentation for both developers and users as well as can be found and edited at https://uniformal.github.io/.

Acknoledgements are at https://uniformal.github.io/doc/