Link to https://www.win.tue.nl/~ida dead

OpenMath / OpenMath.github.io

For the OpenMath.org website

https://openmath.github.io/

5 stars 10 forks source link

Open heiderich opened 5 years ago

heiderich commented 5 years ago

The link to https://www.win.tue.nl/~ida in software/index.md is dead.

kohlhase commented 5 years ago

See #7 and #62

kohlhase commented 5 years ago

@jwknopper could you also chime in and have a look at he software page?