---
layout: project

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

active: true
start_date: '2011-12'
publink: auto

people:
    - mkohlhase
    - dmueller
    - frabe

collaborators:
    - Prof. William Farmer (McMaster University)
    - Prof. Jacques Carette (McMaster University) 

logo: public/kwarc_logo.svg
funding: internal
---

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