Coq: IntroductionPrésente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Plan séparationExplore l'axiome de la séparation du plan en deux demi-plans et le concept de points intérieurs.
Solutions fondamentalesExplore les solutions fondamentales dans les équations aux dérivées partielles, en soulignant leur importance dans les applications mathématiques.
Zig Zag LemmaCouvre le lemme Zig Zag et la longue séquence exacte de l'homologie relative.
