lecopivo / SciLean

Scientific computing in Lean 4
https://lecopivo.github.io/scientific-computing-lean/
Apache License 2.0
331 stars 29 forks source link

cool plotting demo mwe #2

Closed EdAyers closed 2 years ago