TY  - RPRT
TI  - Lebesgue Induction and Tonelli's Theorem in Coq
AU  - Sylvie Boldo
AU  - François Clément
AU  - Vincent Martin
AU  - Micaela Mayero
AU  - Houda Mouhcine
PY  - 2022
UR  - https://arxiv.org/abs/2202.05040
ID  - 2202.05040
ER  -