diff --git a/projects/tetrapod.md b/projects/tetrapod.md new file mode 100644 index 0000000000000000000000000000000000000000..cc62b999cdfc8d4d81c1b2550d40781d7970201e --- /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**.