The FAU group completed the tutorial OMDoc/MMT for Mathematicians on working with MMT content targeted at Mathematicians. It covers creating new archives, the MMT language, using LF, working with jEdit, building archives, browsing the MMT server.
This is a good way to get into formalizing mathematics in the Math-in-the-Middle ontology which is central to WP6 in OpenDreamKit.
WP6: Data/Knowledge/Software bases Math-in-the-Middle Open Science and Reproducibility