Course materials
-
Lean installation guidePDF
-
May 30, 2026, morning - Tactics and TypesVideo
-
May 30, 2026, afternoon - More on TypesVideo
-
June 6, 2026, morning - StructuresVideo
-
June 6, 2026, afternoon - Groups and RingsVideo
-
June 13, 2026, morning - Homomorphisms and QuotientsVideo
-
June 13, 2026, afternoon - Sets and FiltersVideo