Worksheets 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.