\textbf{Hilbert~II} \\
\vspace*{1cm}
Presentation of \\
Formal Correct \\
Mathematical Knowledge \\
\vspace*{1cm} Development Concept
TODO
Michael Meyling
General Information\label{ch:general}
Setup Development Environment
Architecture
QedeqBase
QedeqKernelSe
QedeqKernelBo
QedeqKernelXml