From ebe653d310c3e2879ca5985dc74a61ea376da56b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 11:20:21 +0200
Subject: [PATCH] new

---
 projects/tetrapod.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 projects/tetrapod.md

diff --git a/projects/tetrapod.md b/projects/tetrapod.md
new file mode 100644
index 0000000..cc62b99
--- /dev/null
+++ b/projects/tetrapod.md
@@ -0,0 +1,19 @@
+---
+layout: project
+
+title: Tetrapod
+teaser: 
+
+active: false
+start_date: '22005'
+end_date: '2008'
+
+people:
+    - mkohlhase
+    - dmueller
+	- frabe
+---
+
+The aim of the Tetrapod project is to produce tools for **trustworthy and efficient
+  modeling** of problems involving mathematics as well as tools for doing **mathematical
+  knowledge processing**.
-- 
GitLab