search

OpenMath / OpenMath.github.io

For the OpenMath.org website
https://openmath.github.io/
5 stars 10 forks source link

Typo and grammar #54

Closed paulmasson closed 6 years ago

kohlhase commented 6 years ago

thanks for the correction.