new

projects/tetrapod.md

+---
+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**.