Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

tetrapod.md

Blame
    • Forked from KWARC / kwarc.info / www
    1059 commits behind the upstream repository.
    tetrapod.md 351 B 
    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.