80 citations · 87 across the 7 of their papers we have counts for
1 paper · 1 filter
Sébastien Gouëzel
The Gromov-Hausdorff space is usually defined in textbooks as "the space of all compact metric spaces up to isometry". We describe a formalization of this notion in the Lean proof…