Three Chapters of Measure Theory in Isabelle/HOL.

Johannes Hlzl, Armin Heller

Browse the full ITP paper archive.