EasyChair Smart Slide
Formalizing the Gromov-Hausdorff Space
Formalizing the Gromov-Hausdorff Space