ooopas no png

projects/arXMLiv.md

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

projects/comma.md

@@ -12,7 +12,7 @@ people:
     - mkohlhase
     - dginev
     - jfschaefer
-logo: public/kwarc_logo.png
+logo: public/kwarc_logo.svg
 funding: internal
 ---
 

projects/mamored.md

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

projects/tetrapod.md

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