/Formal_Lipschitz

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

Primary LanguageLean

Stargazers

No one’s star this repository yet.