From f9f12e9e29412c9dd0d567d2bab56d017450a658 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sat, 24 Jun 2017 16:54:57 +0200 Subject: [PATCH] adding funding metadata --- systems/mmt.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/systems/mmt.md b/systems/mmt.md index e0d74f9..480c269 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 --- -- GitLab