Séances de cours associées à Coq: Vue d'ensemble

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Explore les formes harmoniques sur les surfaces de Riemann et l'unicité des solutions aux équations harmoniques.

Couvre le lemme Zig Zag et la longue séquence exacte de l'homologie relative.