Cosine TheoremExplores the cosine theorem in triangles, analyzing side and angle relationships.
Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Pythagorean TheoremIntroduces the Pythagorean theorem, explaining its geometric significance and applications in calculating areas.