tetrapod.md

layout: project

title: Tetrapod
teaser: All four dimensions of Mathematical Knowledge Processing

active: true
start_date: '2011-12'

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.