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