A Formalization of Properties of Continuous Functions on Closed Intervals. - Yaoshun Fu; Wensheng Yu (ICMS, 2020)