Groupes fondamentauxExplore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.
Coq: IntroductionPrésente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.