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.