Scientific Computing in Lean

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.

Acknowledgement

This book is modified version of Functional Programming in Lean