Skip to content
Snippets Groups Projects
Commit c8fd0f9c authored by Florian Rabe's avatar Florian Rabe
Browse files

Update mamored.md

parent 1ed60186
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
projects/mamored.md
+ 2
− 1
View file @ c8fd0f9c
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment