![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/blank.png){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
This page was used for my tutorial in WS2023/2024.
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| material/ | 2024-09-21 11:49 | - | Material discussed in the tutorial |
| kalah/ | 2024-02-14 10:02 | - | Kalah tournament |
| alc.pdf | 2024-01-18 17:28 | 119K | 𝓐𝓛𝓒 |
| calculi.pdf | 2024-01-18 11:20 | 263K | Natural Deduction, Tableau, Resolution |