Add news item for 31st OpenMath Workshop

OpenMath / OpenMath.github.io

For the OpenMath.org website

https://openmath.github.io/

5 stars 10 forks source link

Closed slel closed 3 years ago

slel commented 3 years ago

Please edit to add summary of the workshop and/or link to the minutes.

kohlhase commented 3 years ago

excellent, thank you.