Author:Sébastien Gouëzel

Publications
EasyChair Preprint 6179

Keyphrases

formalization, Gromov-Hausdorff space, Lean.