It would be great to use the new MMT tags (from MANIFEST.MF) for filtering libraries in https://beta.mathhub.info/library. I could imagine a tab or button at the top for every tag. If we used buttons, we could also have combinations. The OpenDreamKit project has something like this on https://opendreamkit.org/project/project_activities/ (we should probably have less tags).
It would be great to use the new MMT tags (from
MANIFEST.MF
) for filtering libraries in https://beta.mathhub.info/library. I could imagine a tab or button at the top for every tag. If we used buttons, we could also have combinations. The OpenDreamKit project has something like this on https://opendreamkit.org/project/project_activities/ (we should probably have less tags).