This course covers the foundations of mathematics, modular formalizations in theory graphs, narrative structures in informal mathematical/technical documents, and the formalization of logical languages in meta-logical frameworks.

This is (tradictionally) a small course, so we can make it very interactive and project-like. The contents are split between

• lectures, where we discuss the concepts and
• labs, where we jointly formalize mathematical knowledge and representation languages in OMDoc/MMT.

Materials:

• KRMT on StudOn
• Course on zoom
• Videos on FAU.tv
• Course Notes, Resources
• Formalization Tutorialz
• Formalizations of the last years