Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Cohomology: Cross ProductExplores cohomology and the cross product, demonstrating its application in group actions like conjugation.
Verifying Programs with StainlessExplores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
