| Name | Last modified | Size | Description |
|---|---|---|---|
| cyclic-winter-school.ics | 5.6 KiB | iCal file for the cyclic winter school | |
| graph-product.agda | 4.2 KiB |
Miscellaneous stuff
| Name | Last modified | Size | Description |
|---|---|---|---|
| cyclic-winter-school.ics | 5.6 KiB | iCal file for the cyclic winter school | |
| graph-product.agda | 4.2 KiB |