Couvre les propriétés des nombres réels, en se concentrant sur l'ordre total et l'exhaustivité, y compris la propriété Archimède et les concepts de supreme et d'infimum.
Explore la différenciation, les limites et les jeux ouverts dans les fonctions multivariables, en mettant l'accent sur les minimums locaux et la continuité.
Couvre la structure et les propriétés des nombres réels, y compris l'introduction au système axiomatique et les implications de la propriété Archimède.
Explore la théorie de l'intégration sur les nombres réels et les espaces de Berkovich, révélant des asymétries intrigantes et des conjectures non résolues.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.