search

lecopivo / SciLean

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

Broken link #11

Closed joaquimpuig closed 1 year ago

joaquimpuig commented 1 year ago

The documentation refers to an example https://github.com/lecopivo/SciLean/blob/master/examples/HarmonicOscilator.lean which does not refer to any existing webpage.

lecopivo commented 1 year ago

I have fixed the link, but the example is broken right now. I'm in the middle of substantial rewrite of core parts of the library. Fortunately, I'm almost done and the example with be functioning again in couple of days.

joaquimpuig commented 1 year ago

Dear Tomas,

I am happy to learn that the library is moving on. I think that it is a good idea.

Best wishes,

Joaquim

El dt., 22 d’ag. 2023, 15:46, Tomáš Skřivan @.***> va escriure:

I have fixed the link, but the example is broken right now. I'm in the middle of substantial rewrite of core parts of the library. Fortunately, I'm almost done and the example with be functioning again in couple of days.

— Reply to this email directly, view it on GitHub https://github.com/lecopivo/SciLean/issues/11#issuecomment-1688222281, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAU6R5XPW5XBES2GGQOJJZ3XWSZ4JANCNFSM6AAAAAA3ZZRYZI . You are receiving this because you authored the thread.Message ID: @.***>

lecopivo commented 1 year ago

Thank you for the encouragement!

The HarmonicOscillator.lean example works again, closing the issue