Splines / lean-continuousLinks

Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
15Updated 10 months ago

Alternatives and similar repositories for lean-continuous

Users that are interested in lean-continuous are comparing it to the libraries listed below

Sorting: