search

lecopivo / SciLean

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

fix typo #6

Closed chabulhwi closed 1 year ago

chabulhwi commented 1 year ago

Change "powerfull" to "powerful".

lecopivo commented 1 year ago

Thanks! I noticed the PR only now :)