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.