Coq: IntroductionPrésente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Formule d'inversion de FourierCouvre la formule d'inversion de Fourier, explorant ses concepts mathématiques et ses applications, soulignant l'importance de comprendre le signe.
Zig Zag LemmaCouvre le lemme Zig Zag et la longue séquence exacte de l'homologie relative.
Erreur de généralisationExplore les limites de queue, les limites d'information et les fuites maximales dans le contexte d'une erreur de généralisation.
