A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq.

Reynald Affeldt, Zachary Stone

Browse the full ITP paper archive.