MathHub User Spaces

The top level of organization in MathHub.info consists of user spaces (described here) and libraries.

A MathHub user space is a collection of (public or private) flexiformal documents associated with a MathHub user account.

Technically, a MathHub user space corresponds to a GitLab name space with a MathHub-specific layout:

1. The metadata repository meta-inf for user-space-level metadata and documentation
2. a set of math archives that contain theflexiformal content.