Working in progress book Scientific Computing in Lean.
To try the code download and build SciLean with:
git clone https://github.com/lecopivo/SciLean
cd SciLean
lake build
Most of the code in the book is in the test/ScientificComputingInLean directory.
This book is modified version of Functional Programming in Lean