issues
search
OpenMath
/
OpenMath.github.io
For the OpenMath.org website
https://openmath.github.io/
5
stars
10
forks
source link
typo fix Hans Cuipers -> Hans Cuypers
#26
Closed
jwknopper
closed
7 years ago
kohlhase
commented
7 years ago
thanks.
thanks.