diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md index f00f7866199599b1ceea527bfbb927913aa65c49..91a92317842a5bc7be16fae1fd93628206348e91 100644 --- a/projects/arXMLiv.md +++ b/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 --- diff --git a/projects/comma.md b/projects/comma.md index a67eaa6f08ec35daf9ccc98e5b2ed08e1af75f47..795e7f4210275d63df5b98507b23cf214195cbcb 100644 --- a/projects/comma.md +++ b/projects/comma.md @@ -12,7 +12,7 @@ people: - mkohlhase - dginev - jfschaefer -logo: public/kwarc_logo.png +logo: public/kwarc_logo.svg funding: internal --- diff --git a/projects/mamored.md b/projects/mamored.md index 977dc0736ca1acc9e088a4cfb63eca78be5b2ecf..cb127269612531c9a4dca8e4e0ab6731da84e2c7 100644 --- a/projects/mamored.md +++ b/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 diff --git a/projects/tetrapod.md b/projects/tetrapod.md index 1b09958ad8bf2244e68443cc625bc7cb80c18138..25ff017642111e97a08f7ffa53b8a6c6f48ea4d3 100644 --- a/projects/tetrapod.md +++ b/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 ---