From c8fd0f9cfb74471a39cf14a8c07c3ffda4d1b653 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Wed, 17 Jan 2018 20:27:52 +0100
Subject: [PATCH] Update mamored.md
---
projects/mamored.md | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/projects/mamored.md b/projects/mamored.md
index bc98533..a937173 100644
--- a/projects/mamored.md
+++ b/projects/mamored.md
@@ -16,7 +16,8 @@ people:
collaborators:
- Dr. Thomas Koprucki (WIAS Berlin)
- Dr. Wolfram Sperber (FIZ Karlsruhe)
- - Dr. Karsten Tabelov (WIAS Berlin)
+ - Dr. Karsten Tabelow (WIAS Berlin)
+ - Dr. Olaf Teschke (FIZ Karlsruhe)
funding: internal
---
The MaMoReD projects studies whether and how the flexiformalization of mathematical
--
GitLab