Dead links to java.symcomp.org (websites for POPCORN and WUPSI)

OpenMath / OpenMath.github.io

For the OpenMath.org website

https://openmath.github.io/

5 stars 10 forks source link

Dead links to java.symcomp.org (websites for POPCORN and WUPSI) #64

Closed stub22 closed 5 years ago

stub22 commented 5 years ago

https://www.openmath.org/standard/scscp/ has several links to java.symcomp.org (e.g. for POPCORN and WUPSI). However that host seems to be gone, and the current site at symcomp.org is about furniture. Might consider replacing the dead links with direct links to the github projects here: https://github.com/symcomp

olexandr-konovalov commented 5 years ago

Thank you for reporting this, @stub22!

CC @no-dashes