A Structural Theory of Derivations. - Zachary Stone (2018)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. - Reynald Affeldt; Zachary Stone (ITP, 2024)