chriscamano/Formal_Lipschitz
Formalization of the proof for partial Lipschitz map extensions written in Lean4
Lean
No issues in this repository yet.
Formalization of the proof for partial Lipschitz map extensions written in Lean4
Lean
No issues in this repository yet.