Integrate MWS into MathHub #105
Description
Most of the discussions are at https://github.com/KWARC/MathHub/issues/258 but there may be spin-off issues from that which we can track here.
{{ message }}
Most of the discussions are at https://github.com/KWARC/MathHub/issues/258 but there may be spin-off issues from that which we can track here.