search

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

More documentation #2

Closed kohlhase closed 7 years ago

kohlhase commented 7 years ago

about the editor draft and the contribution process.

kohlhase commented 7 years ago

ah, good I had forgotten. BTW, why does the check fail?

davidcarlisle commented 7 years ago

for failure see https://github.com/OpenMath/OMSTD/issues/3