lecopivo / SciLean

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

README's old harmonic oscillator example was good #51

Open alok opened 2 days ago

alok commented 2 days ago

Now it's buried (without pictures) in the reference book as an example, but it was that example that really showed me just how powerful the whole approach was and why it was a scientific computing assistant.

lecopivo commented 2 days ago

Yes yes I agree, I want to work on more examples, create pictures and clicking on those pictures will take you to explanations of each example.