diff --git a/systems/mmt.md b/systems/mmt.md index c70efef68e74452926528a2ec21ef671e1a1f0e2..341f5c5de68b7443d8d6f4d44c6ed025064b6448 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -19,6 +19,7 @@ supported-by: - latin - mathsearch +publink: http://kwarc.github.io/bibs/mmt website: https://uniformal.github.io/ repository: https://github.com/Uniformal/MMT ---