Splines

Splines

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
108 Stars
3 Forks
108 Watchers

Repositories (2)

pptypst Splines/pptypst TypeScript

Bring the power of Typst to PowerPoint

91
lean-continuous Splines/lean-continuous TeX

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

17