/Formal_Lipschitz

Formalization of the proof for partial Lipschitz map extensions written in Lean4

Primary LanguageLean

No issues in this repository yet.