Coq: IntroductionPrésente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
CatégoriesPrésente les catégories comme des collections d'objets avec des morphismes et des morphismes d'identité.
Produit cartésienCouvre le concept du produit cartésien, mettant l'accent sur l'ordre des éléments en paires.
