search

OpenMath / OMSTD

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

Roles and Complience #25

Open kohlhase opened 6 years ago

kohlhase commented 6 years ago

https://github.com/OpenMath/OM3/issues/109

kohlhase commented 6 years ago

for convenience, the original issue was

The compliance chapter (chapter5) does not talk about roles at all. I do not remember whether that was intentional, but the restrictions in front are useless if there is no compliance consequence from them.

Even if we do not want to mention roles in Chapter5, we should say so and why.