add lake install copy paste to top of readme - Githubissues

lecopivo / SciLean

Scientific computing in Lean 4

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

Apache License 2.0

309 stars 25 forks source link

add lake install copy paste to top of readme #29

Open alok opened 8 months ago