Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
ws1-soln.pdf		ws1-soln.pdf
ws1.pdf		ws1.pdf
ws2-soln.pdf		ws2-soln.pdf
ws2.pdf		ws2.pdf
ws3-soln.pdf		ws3-soln.pdf
ws3.pdf		ws3.pdf
ws4-soln.pdf		ws4-soln.pdf
ws4.pdf		ws4.pdf
ws5-soln.pdf		ws5-soln.pdf
ws5.pdf		ws5.pdf
ws6-soln.pdf		ws6-soln.pdf
ws6.pdf		ws6.pdf
ws7-soln.pdf		ws7-soln.pdf
ws7.pdf		ws7.pdf
ws8-soln.pdf		ws8-soln.pdf
ws8.pdf		ws8.pdf
ws9-soln.pdf		ws9-soln.pdf
ws9.pdf		ws9.pdf

README.md

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.