TY  - RPRT
TI  - A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
AU  - Reynald Affeldt
AU  - Zachary Stone
PY  - 2024
UR  - https://arxiv.org/abs/2403.18229
ID  - 2403.18229
ER  -