Explore projects

Generic public information on admin tasks of CDI

A listing of CDI student projects, that we would either like to supervise as theses for pay a HiWi for.

The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)

A Semantic Multilingual Glossary for Mathematics.

This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.