The Metadata for the MMATh formalizations and active documents.
The meta stuff for MDH data
The IWGS Training Problems