http://logic.las.tu-berlin.de/Members/Dittmann/
This is an unofficial reimagining of the Archive of Formal Proofs
Menger's Theoremby Christoph Dittmann
Tree Decompositionby Christoph Dittmann
Positional Determinacy of Parity Gamesby Christoph Dittmann