diff --git a/systems/mmt.md b/systems/mmt.md index e0d74f98c8b532bb407d4dbd68afd9c8c905a57a..480c2698a0b9c70d131766ed34ceef8e2209f13f 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -13,6 +13,12 @@ people: - miancu - fhorozal +supported-by: + - oaf + - okd + - latin + - mathsearch + website: https://uniformal.github.io/ repository: https://github.com/Uniformal/MMT ---