search

lecopivo / SciLean

Scientific computing in Lean 4
https://lecopivo.github.io/scientific-computing-lean/
Apache License 2.0
327 stars 29 forks source link

Fix typo in README #38

Closed samestep closed 5 months ago

samestep commented 5 months ago

This PR fixes a minor typo in README.org.

lecopivo commented 5 months ago

Thanks!