This repository contains the materials for the course Formalizing the Zoo of Logical Systems given by Kohlhase and Rabe at ESSLLI 2019 in Riga.

Here you can

• follow the instructions to setup the software we will use
• find our slides here (see above for the PDFs)
• find the MMT Tutorials, the first one is the most recent and may give you additional information.
• report and comment on issues to communicate with us (= Michael and Florian) or each other.
• make comments on the wiki. You may need permission here, just tell Florian or Michael your github account.