MILC

Résultats

Basé sur des preuves détaillées, le code Coq des:
Fonctions mesurables;
Mesure;
Fonctions étagées;
Intégrales de Lebesgue sur les fonctions mesurables positives.

En cours: intégrales de Lebesgue des fonctions mesurables de signe quelconque.


Accès au répertoire privé.