Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. - Michael Junk; Stefan Hölle; Sebastian Sahli (CICM, 2018)

The "MATh Tutor" project. - Sebastian Sahli (CICM Workshops, 2019)

Story Based Content Structuring in MATh. - Michael Junk; Sebastian Sahli (CICM Workshops, 2021)