search

lecopivo / scientific-computing-lean

work in progress book on Scientific Computing in Lean
https://lecopivo.github.io/scientific-computing-lean/
8 stars 1 forks source link

add github repo icon #1

Closed Seasawher closed 2 months ago