https://github.com/lecopivo/scientific-computing-lean

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

Last synced: 4 months ago
JSON representation

work in progress book on Scientific Computing in Lean

• Host: GitHub
• URL: https://github.com/lecopivo/scientific-computing-lean
• Owner: lecopivo
• Created: 2024-04-23T19:50:17.000Z (7 months ago)
• Default Branch: master
• Last Pushed: 2024-07-09T15:59:37.000Z (4 months ago)
• Last Synced: 2024-07-09T20:19:21.065Z (4 months ago)
• Language: JavaScript
• Homepage: https://lecopivo.github.io/scientific-computing-lean/
• Size: 1.53 MB
• Stars: 8
• Watchers: 2
• Forks: 2
• Open Issues: 4
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

        
# Scientific Computing in Lean

Working in progress book [Scientific Computing in Lean](https://lecopivo.github.io/scientific-computing-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](https://github.com/leanprover/fp-lean)