| Name | Last modified | Size | Description |
|---|---|---|---|
| schools.html | 2.0 KiB | PhD schools on TCS | |
| hopwag.sh | 1.0 KiB | ||
| latex.svg | 27 KiB | Inclusion order of LaTeX packages | |
| latex.pl | 1.4 KiB | ||
| cyclic-winter-school.ics | 5.6 KiB | iCal file for the cyclic winter school | |
| graph-product.agda | 4.2 KiB |
