From 44218d5e5913086803bb9c6e303fefe0c0044072 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 11:37:15 +0200
Subject: [PATCH] more logos
---
projects/arXMLiv.md | 1 +
projects/comma.md | 2 ++
projects/mamored.md | 1 +
projects/mathsearch.md | 1 +
projects/tetrapod.md | 1 +
5 files changed, 6 insertions(+)
diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md
index dd63756..f00f786 100644
--- a/projects/arXMLiv.md
+++ b/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
---
diff --git a/projects/comma.md b/projects/comma.md
index 26ce6f2..a67eaa6 100644
--- a/projects/comma.md
+++ b/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.
diff --git a/projects/mamored.md b/projects/mamored.md
index 4c2bcc4..977dc07 100644
--- a/projects/mamored.md
+++ b/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
diff --git a/projects/mathsearch.md b/projects/mathsearch.md
index 5f2d56e..dd3c3d8 100644
--- a/projects/mathsearch.md
+++ b/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
diff --git a/projects/tetrapod.md b/projects/tetrapod.md
index 8a0045e..1b09958 100644
--- a/projects/tetrapod.md
+++ b/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
---
--
GitLab