chriscamano/Formal_Lipschitz
Formalization of the proof for partial Lipschitz map extensions written in Lean4
Lean
Stargazers
No one’s star this repository yet.
Formalization of the proof for partial Lipschitz map extensions written in Lean4
Lean
No one’s star this repository yet.