@unpublished{gouezel:hal-03329410,
TITLE = {Formalizing the Gromov-Hausdorff space},
AUTHOR = {Gou{\"e}zel, S{\'e}bastien},
URL = {https://hal.science/hal-03329410},
NOTE = {working paper or preprint},
YEAR = {2021},
MONTH = Aug, PDF = {https://hal.science/hal-03329410/file/gromov_hausdorff.pdf},
HAL_ID = {hal-03329410},
HAL_VERSION = {v1},
}