Closed kohlhase closed 6 years ago
We have the OpenMath License in the CDComment element now, do we rather want to have a CDLicense tag, where we can make the license machine-readable?
see https://github.com/OpenMath/OM3/issues/18
this is actually rolled into #37.
We have the OpenMath License in the CDComment element now, do we rather want to have a CDLicense tag, where we can make the license machine-readable?
see https://github.com/OpenMath/OM3/issues/18