GitHub - lecopivo/scientific-computing-lean: work in progress book on Scientific Computing in Lean
work in progress book on Scientific Computing in Lean - lecopivo/scientific-computing-lean
github.com