This folder will contain PDFs for the worksheets (both blank and with solutions filled in) for the HoTT track of the HoTTEST Summer School 2022.
Files
Worksheets
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||