Open kohlhase opened 7 years ago
They seem to be a mostly deprecated mechanism, see https://github.com/KWARC/MathHub/issues/248
They seem to be a mostly deprecated mechanism, see https://github.com/KWARC/MathHub/issues/248