Splines/lean-continuous

Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.

语言：TeX · GitHub 星标：18 · Fork：2

话题：analysis · continuous · lean4 · math · proof · proof-assistant · proof-solver

在 GitHub 上查看原仓库