more logos

projects/arXMLiv.md

@@ -17,6 +17,7 @@ collaborators:
     - Dr. Bruce Miller (NIST)
     - various Jacobs University undergrads
 
+logo: public/kwarc_logo.png
 website: http://cortex.mathweb.org
 repository: https://github.com/dginev/CorTeX
 ---

projects/comma.md

@@ -12,6 +12,8 @@ people:
     - mkohlhase
     - dginev
     - jfschaefer
+logo: public/kwarc_logo.png
+funding: internal
 ---
 
 Many of the foundations of the wealth of western societies are laid down in mathematical/technical documents. Such are rich in structure and communicate complex meaning effectively and efficiently, but we do not understand the underlying knowledge structures and linguistic characteristics enough to extract the underlying meanings and represent them explicitly enough so that working with them can be supported by machines.

projects/mamored.md

@@ -20,6 +20,7 @@ collaborators:
     - Dr. Wolfram Sperber (FIZ Karlsruhe)
     - Dr. Karsten Tabelow (WIAS Berlin)
     - Dr. Olaf Teschke (FIZ Karlsruhe)
+logo: public/kwarc_logo.png
 funding: internal
 ---
 The MaMoReD projects studies whether and how the flexiformalization of mathematical

projects/mathsearch.md

@@ -15,6 +15,7 @@ people:
     - mkohlhase
     - dginev
 
+logo: public/leibniz_logo.png
 funding: Leibniz Foundation
 program: SAW
 grantid: SAW-2012-FIZ_KA-2

projects/tetrapod.md

@@ -18,6 +18,7 @@ collaborators:
     - Prof. William Farmer (McMaster University)
     - Prof. Jacques Carette (McMaster University) 
 
+logo: public/kwarc_logo.png
 funding: internal
 ---