diff --git a/projects/mamored.md b/projects/mamored.md index bc9853375b264dcec50bde0a4dcbdb470e220404..a937173f98c78552ca71601a1aef66569bb8a2d5 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