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.
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 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.