Jose_A_Alonso, A comprehensive overview of the Lebesgue differentiation theorem in Coq. ~ Reynald Affeldt, Zachary Stone. https://arxiv.org/abs/2403.18229 #ITP #Coq #Math
Jose_A_Alonso, A comprehensive overview of the Lebesgue differentiation theorem in Coq. ~ Reynald Affeldt, Zachary Stone. https://arxiv.org/abs/2403.18229 #ITP #Coq #Math
Add comment