Lectures related to Coq: Overview

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Covers the Zig Zag Lemma and the long exact sequence of relative homology.